scientific article; zbMATH DE number 1142325
From MaRDI portal
Publication:4385541
zbMATH Open0900.68307MaRDI QIDQ4385541FDOQ4385541
Authors: Patrick Cousot 
Publication date: 14 May 1998
Title of this publication is not available (Why is that?)
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
- Proof-theoretic notions for software maintenance
- Non-terminating processes in the situation calculus
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)
