Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/B98117MaRDI QIDQ5712440zbMATH OpenOpenAlexFDO

Authors Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard

Publication date 23 December 2005

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

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2079999
• Programming a symbolic model checker in a fully expansive theorem prover
• scientific article; zbMATH DE number 1538014
• A proof assistant for Alloy specifications
• Integration of a Software Model Checker into Isabelle

Cited in

(2)

• scientific article; zbMATH DE number 2000443 (Why is no real title available?)
• Simplifying proofs in Fitch-style natural deduction systems

Describes a project that uses

Uses Software

• VAMPIRE
• Alcoa
• PVS
• TestEra

This page was built for publication: Relational and Kleene-Algebraic Methods in Computer Science

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