Automatic verification of concurrent systems using a formula-based compositional approach

DOI10.1007/s00236-002-0084-5zbMath1035.68072OpenAlexW2089892886MaRDI QIDQ1403320

Antonella Santone

Publication date: 1 September 2003

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-002-0084-5

zbMATH Keywords

transition systems

Mathematics Subject Classification ID

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

Formal Verification of Concurrent Systems via Directed Model Checking ⋮ Using heuristic search for finding deadlocks in concurrent systems

Uses Software

• LOTOS
• MOCHA