Social processes, program verification and all that
From MaRDI portal
Publication:3643359
DOI10.1017/S0960129509990041zbMath1178.68333MaRDI QIDQ3643359
Andrea Asperti, Raja Natarajan, Herman Geuvers
Publication date: 11 November 2009
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
2011 North American Annual Meeting of the Association for Symbolic Logic, A Vindication of Program Verification
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Proof assistants: history, ideas and future
- Operating system verification---an overview
- Proving the correctness of client/server software
- Don't eliminate cut
- On a cultural gap
- A syntactic approach to foundational proof-carrying code
- A symmetric lambda calculus for classical program extraction
- Solvability of groups of odd order
- A proof of the Kepler conjecture
- A Modular Formalisation of Finite Group Theory
- About the Formalization of Some Results by Chebyshev in Number Theory
- On the proof of correctness of a calendar program
- OpenMath
- A formally verified proof of the prime number theorem
- An axiomatic basis for computer programming
