scientific article; zbMATH DE number 2077135

MaRDI QIDQ4470520zbMATH OpenFDO

Authors Edgar Knapp

Publication date 1 July 2004

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Models for the substitution axiom of UNITY logic
• Eliminating the substitution axiom from UNITY logic
• On the logic of UNITY
• On mechanizing proofs within a complete proof system for Unity
• UNITY and Büchi automata

Cited in

(13)

• Models for the substitution axiom of UNITY logic
• DUALITY: A simple formalism for the analysis of UNITY
• A mechanization of unity in PC-NQTHM-92
• UNITY and Büchi automata
• Logical foundations for compositional verification and development of concurrent programs in UNITY
• On mechanizing proofs within a complete proof system for Unity
• Extending the theory of Owicki and Gries with a logic of progress
• scientific article; zbMATH DE number 970704 (Why is no real title available?)
• Mechanizing UNITY in Isabelle
• A modular coding of \textsc{Unity} in \textsc{Coq}
• An experiment with the use of predicate transformers in UNITY
• On the logic of UNITY
• Eliminating the substitution axiom from UNITY logic

This page was built for publication:

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