scientific article; zbMATH DE number 709540

MaRDI QIDQ4318992zbMATH OpenFDO

Authors Amar Bouali, S. Gnesi, S. La Rosa

Publication date 21 June 2000

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(7)

• Towards automatic temporal logic verification of value passing process algebra using abstract interpretation
• Equivalence checking 40 years after: a review of bisimulation tools
• A partition refinement algorithm for the \(\pi\)-calculus
• ACTLW -- an action-based computation tree logic with unless operator
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• Ugo Montanari and Software Verification
• Using heuristic search for finding deadlocks in concurrent systems

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 Q4318992)