scientific article; zbMATH DE number 1142325

MaRDI QIDQ4385541zbMATH OpenFDO

Authors Patrick Cousot

Publication date 14 May 1998

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited in

(12)

• Bottom-Up Shape Analysis
• Functional sorts in data type specifications
• Relation-algebraic semantics
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Verification conditions for source-level imperative programs
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
• Program logic and equivalence in the presence of garbage collection.
• Stratified least fixpoint logic
• On the completeness of propositional Hoare logic
• Parallel constructions of maximal path sets and applications to short superstrings
• Non-terminating processes in the situation calculus
• Proof-theoretic notions for software maintenance

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 Q4385541)