Generic tools for verifying concurrent systems

DOI10.1016/S0167-6423(01)00033-8zbMath0987.68780MaRDI QIDQ5957895

Rance Cleaveland, Steven T. Sims

Publication date: 2 June 2002

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

zbMATH Keywords

specification model checking; verification tools

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

68Q55: Semantics in the theory of computing

68Q65: Abstract data types; algebraic specification

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Two case studies of semantics execution in Maude: CCS and LOTOS, Executable structural operational semantics in Maude