Model-checking CSP-Z: Strategy, tool support and industrial application
From MaRDI portal
Publication:5931381
DOI10.1016/S0167-6423(00)00023-XzbMath0973.68152OpenAlexW1975483972MaRDI QIDQ5931381
Augusto Sampaio, Alexandre Mota
Publication date: 5 July 2001
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6423(00)00023-x
Related Items
Verifying data refinements using a model checker ⋮ On using data abstractions for model checking refinements ⋮ Checking Z Data Refinements Using Traces Refinement ⋮ Model checking action system refinements ⋮ Discovering and correcting a deadlock in a channel implementation ⋮ Simulink Timed Models for Program Verification
Uses Software