Model checking interactor specifications
From MaRDI portal
Publication:5955433
DOI10.1023/A:1011265604021zbMath1021.68055MaRDI QIDQ5955433
Michael D. Harrison, J. C. T. Campos
Publication date: 13 February 2002
Published in: Automated Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1011265604021
68Q60: Specification and verification (program logics, model checking, etc.)