scientific article; zbMATH DE number 709540

zbMATH Open0938.68717MaRDI QIDQ4318992FDOQ4318992

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

Publication date: 21 June 2000

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (7)

• A partition refinement algorithm for the \(\pi\)-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)