𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verified software: theories, tools and experiments

✍ Scribed by Daniel Kroening; Tiziana Margaria

Book ID
106245555
Publisher
Springer
Year
2010
Tongue
English
Weight
100 KB
Volume
12
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Veri
[Lecture Notes in Computer Science] Verified Software: Theories, Tools, Experiments Volume 4171 || Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project
✍ Meyer, Bertrand; Woodcock, Jim πŸ“‚ Article πŸ“… 2008 πŸ› Springer Berlin Heidelberg 🌐 German βš– 237 KB

A Step Towards Verified Software Worries About The Reliability Of Software Are As Old As Software Itself; Techniques For Allaying These Worries Predate Even James King’s 1969 Thesis On β€œa Program Verifier. ” What Gives The Whole Topic A New Urgency Is The Conjunction Of Three Phenomena: The Blitz-li

POSIX file store in Z/Eves: An experimen
POSIX file store in Z/Eves: An experiment in the verified software repository
✍ Leo Freitas; Jim Woodcock; Zheng Fu πŸ“‚ Article πŸ“… 2009 πŸ› Elsevier Science 🌐 English βš– 796 KB

We present results from the second pilot project in the international Verification Grand Challenge: a formally verified specification of a POSIX-compliant file store using the Z/Eves theorem prover. The project's overall objective is to build a verified file store for space-flight missions. Our spec