Balancing the load. Leveraging a semantics stack for systems verification
From MaRDI portal
Publication:835780
DOI10.1007/s10817-009-9123-zzbMath1191.68407MaRDI QIDQ835780
Eyad Alkassar, Mark A. Hillebrand, Dirk C. Leinenbach, Norbert W. Schirmer, Artem Starostin, Alexandra Tsyban
Publication date: 31 August 2009
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-009-9123-z
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software