Model-checking CSP-Z: Strategy, tool support and industrial application
From MaRDI portal
Publication:5931381
DOI10.1016/S0167-6423(00)00023-XzbMath0973.68152MaRDI QIDQ5931381
Alexandre Mota, Augusto Sampaio
Publication date: 5 July 2001
Published in: Science of Computer Programming (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
Related Items
Checking Z Data Refinements Using Traces Refinement, Verifying data refinements using a model checker, On using data abstractions for model checking refinements, Model checking action system refinements, Simulink Timed Models for Program Verification
Uses Software