Algebraic Methodology and Software Technology

DOI10.1007/B98770zbMATH Open1108.68380OpenAlexW2973096144MaRDI QIDQ5312974FDOQ5312974

Authors: Ewen Denney, Ram Prasad Venkatesan 

Publication date: 25 August 2005

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

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

Recommendations

• scientific article; zbMATH DE number 2090308
• scientific article; zbMATH DE number 2090151
• Automated Reasoning
• AUSPICE-R: automatic safety-property proofs for realistic features in machine code
• High-automation proofs for properties of requirements models

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (5)

• Automated Reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Explaining Verification Conditions
• AUSPICE-R: automatic safety-property proofs for realistic features in machine code

Uses Software

• Coq
• AutoBayes/CC
• Nuprl
• AutoFilter

This page was built for publication: Algebraic Methodology and Software Technology

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