Search Sciweavers | Sciweavers

32032 search results - page 104 / 6407

» Verified programming in Guru

113

click to vote

FTRTFT
1994
Springer

102views Formal Methods» more FTRTFT 1994»

Specifying and Verifying Fault-Tolerant Systems

15 years 8 months ago

Download research.microsoft.com

Leslie Lamport, Stephan Merz

claim paper

Read More »

103

click to vote

HYBRID
1992
Springer

88views Control Systems» more HYBRID 1992»

Verifying Hybrid Systems

15 years 8 months ago

Download www.csr.city.ac.uk

Zohar Manna, Amir Pnueli

claim paper

Read More »

102

click to vote

FC
2010
Springer

153views Cryptology» more FC 2010»

Verified by Visa and MasterCard SecureCode: Or, How Not to Design Authentication

15 years 8 months ago

Download www.cl.cam.ac.uk

Steven J. Murdoch, Ross J. Anderson

claim paper

Read More »

click to vote

ICECCS
2007
IEEE

83views Hardware» more ICECCS 2007»

POSIX file store in Z/Eves: an experiment in the verified software repository

15 years 8 months ago

Download www-ti.informatik.uni-tuebingen.de

Leo Freitas, Zheng Fu, Jim Woodcock

claim paper

Read More »

179

click to vote

ACL2
2006
ACM

239views Computational Linguistics» more ACL2 2006»

The ideal of verified software

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers