Publication:3883458
From MaRDI portal
zbMath0441.68007MaRDI QIDQ3883458
No author found.
Publication date: 1980
Full work available at URL: https://eudml.org/doc/92127
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Cites Work
- An algebraic definition for control structures
- Model theory.
- First-order dynamic logic
- Tree acceptors and some of their applications
- Program proving: KJumps and functions
- Consistent and complementary formal theories of the semantics of programming languages
- Guarded commands, nondeterminacy and formal derivation of programs
- A New Incompleteness Result for Hoare's System
- Soundness and Completeness of an Axiom System for Program Verification
- An axiomatic basis for computer programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item