Formal software development in the Verification Support Environment (VSE)

DOI10.1080/095281300454784MaRDI QIDQ4783352zbMATH OpenOpenAlexFDO

Authors Dieter Hutter, Bruno Langenstein, Georg Rock, Werner Stephan, Roland Vogt, Jörg H. Siekmann

Publication date 4 December 2002

Published in Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/095281300454784

zbMATH Keywords

IT-securityVSE system

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Publication:3028331
• Formal models for software development. Model checking, verification, analysis and simulation
• A formal software development approach using refinement calculus
• Formal specification and verification
• Using answer set programming in the development of verified software

Cites work

• scientific article; zbMATH DE number 3960980 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• Coloring terms to control equational reasoning
• Untersuchungen über das logische Schliessen. I

Cited in

(7)

• Deduction as an engineering science
• Ten years of historical development ``bootstrapping VDMTools
• scientific article; zbMATH DE number 2087530 (Why is no real title available?)
• Mechanizing Mathematical Reasoning
• The tokeneer experiments
• Computer Aided Verification
• scientific article; zbMATH DE number 1307376 (Why is no real title available?)

Describes a project that uses

Uses Software

• Z

This page was built for publication: Formal software development in the Verification Support Environment (VSE)

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