scholarly journals QED at Large: A Survey of Engineering of Formally Verified Software

2019 ◽  
Vol 5 (2-3) ◽  
pp. 102-281 ◽  
Author(s):  
Talia Ringer ◽  
Karl Palmskog ◽  
Ilya Sergey ◽  
Milos Gligoric ◽  
Zachary Tatlock
Keyword(s):  
Verified Software

scholarly journals POSIX file store in Z/Eves: An experiment in the verified software repository

2009 ◽  
Vol 74 (4) ◽  
pp. 238-257 ◽  
Author(s):  
Leo Freitas ◽  
Jim Woodcock ◽  
Zheng Fu
Keyword(s):  
Software Repository ◽  
Verified Software ◽  
Verified Software Repository

Verified software: theories, tools and experiments

2010 ◽  
Vol 12 (6) ◽  
pp. 405-408
Author(s):  
Daniel Kroening ◽  
Tiziana Margaria
Keyword(s):  
Verified Software

Template-based construction of verified software

2005 ◽  
Vol 152 (1) ◽  
pp. 2 ◽  
Author(s):  
D. Hemer ◽  
P.A. Lindsay
Keyword(s):  
Verified Software

scholarly journals QED at Large: A Survey of Engineering of Formally Verified Software

2019 ◽  
Author(s):  
Talia Ringer ◽  
Karl Palmskog ◽  
Ilya Sergey ◽  
Milos Gligoric ◽  
Zachary Tatlock
Keyword(s):  
Verified Software
Sign in / Sign up

Export Citation Format

Share Document