Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b107194zbMath1087.68584OpenAlexW2497867240MaRDI QIDQ5703797

Alan J. Hu, Jesse Bingham

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107194

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Multi-parameterised compositional verification of safety properties ⋮ Lost in abstraction: monotonicity in multi-threaded programs ⋮ Parameterized verification of monotone information systems

Uses Software

• TREX
• HyTech

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems