Automatic verification of concurrent systems using a formula-based compositional approach
From MaRDI portal
Publication:1403320
DOI10.1007/s00236-002-0084-5zbMath1035.68072OpenAlexW2089892886MaRDI QIDQ1403320
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
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