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)

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

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)