scientific article; zbMATH DE number 1522998

MaRDI QIDQ4511273zbMATH OpenFDO

Authors Mads Dam, Dilian Gurov

Publication date 30 October 2000

zbMATH Keywords

proof system

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3936485
• scientific article; zbMATH DE number 1231562
• Proving properties of dynamic process networks
• A Proof System for Compositional Verification of Probabilistic Concurrent Processes
• Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS

Cited in

(11)

• A logic for the specification and proof of regular controllable processes of CCS
• A compositional -calculus proof system for statecharts processes
• Proving properties of dynamic process networks
• Planning proofs of equations in CCS
• scientific article; zbMATH DE number 3936485 (Why is no real title available?)
• Proving correctness of labeled transition systems by semantic tableaux
• scientific article; zbMATH DE number 2087443 (Why is no real title available?)
• Unique fixpoint induction for message-passing process calculi
• Compositional checking of satisfaction
• Reduced models for efficient CCS verification
• On process equivalence = equation solving in CCS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4511273)