Model checking, testing and verification working together
From MaRDI portal
Publication:2576575
DOI10.1007/s00165-005-0059-8zbMath1101.68681MaRDI QIDQ2576575
Doron A. Peled, Elsa L. Gunter
Publication date: 13 December 2005
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-005-0059-8
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On model checking multiple hybrid views, Model-Based Test Selection for Infinite-State Reactive Systems
Uses Software