Verification support environment

DOI10.1007/978-3-540-32254-2_27MaRDI QIDQ5717456zbMATH OpenOpenAlexFDO

Authors Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal software development in the Verification Support Environment (VSE)
• scientific article; zbMATH DE number 47348
• Experiences on developing and using a tool support for formal specification
• Formal verification of specification models
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)

Cited in

(5)

• Proving the correctness of client/server software
• An environment for formal specification and verification of lingware
• scientific article; zbMATH DE number 47348 (Why is no real title available?)
• Experiences on developing and using a tool support for formal specification
• Early verification and validation of mission critical systems

This page was built for publication: Verification support environment

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