Balancing the load. Leveraging a semantics stack for systems verification

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

zbMATH Keywords

software verification; pervasive formal verification; systems verification

Mathematics Subject Classification ID

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

• Isabelle
• veriSoft
• Isabelle/HOL
• Isar