Generic tools for verifying concurrent systems

DOI10.1016/S0167-6423(01)00033-8MaRDI QIDQ5957895zbMATH OpenFDO

Authors Rance Cleaveland, Steven T. Sims

Publication date 2 June 2002

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-6423(01)00033-8

zbMATH Keywords

specification model checkingverification tools

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Cited in

(5)

• Executable structural operational semantics in Maude
• Process algebra and model checking
• Better automata through process algebra
• Equivalence checking 40 years after: a review of bisimulation tools
• Two case studies of semantics execution in Maude: CCS and LOTOS

This page was built for publication: Generic tools for verifying concurrent systems

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