The sh-verification tool -- abstraction-based verification of co-operating systems

DOI10.1007/S001650050023MaRDI QIDQ1295873zbMATH OpenOpenAlexFDO

Authors J. Repp, Peter Ochsenschläger, Roland Rieke, Ulrich Nitsche

Publication date 26 July 1999

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650050023

zbMATH Keywords

sh-verification tool

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Abstraction and composition: a verification method for co-operating systems
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• scientific article; zbMATH DE number 1746446
• scientific article; zbMATH DE number 734956

Cited in

(1)

• Abstraction and composition: a verification method for co-operating systems

This page was built for publication: The sh-verification tool -- abstraction-based verification of co-operating systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295873)