Result 1 to 20 of 116 total
Automating induction with an SMT solver. (English)
Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 315-331 (2012).
1
The Boogie verification debugger (tool paper). (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 407-414 (2011).
2
From retrospective verification to forward-looking development. (English)
Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 1 (2011).
3
Specification and verification: the spec# experience. (English)
Commun. ACM 54, No. 6, 81-91 (2011).
4
io-port 05915248 Klebanov, Vladimir;
Müller, Peter;
Shankar, Natarajan;
Leavens, Gary T.;
Wüstholz, Valentin;
Alkassar, Eyad;
Arthan, Rob;
Bronish, Derek;
Chapman, Rod;
Cohen, Ernie;
Hillebrand, Mark;
Jacobs, Bart;
Leino, K.Rustan M.;
Monahan, Rosemary;
Piessens, Frank;
Polikarpova, Nadia;
Ridge, Tom;
Smans, Jan;
Tobies, Stephan;
Tuerk, Thomas;
Ulbrich, Mattias;
Weiß, Benjamin
The 1st verified software competition: Experience report. (English)
Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 154-168 (2011).
5
Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6605. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). xvi, 394~p. EUR~66.34 (2011).
6
The boogie verification debugger (Tool paper) (English)
SEFM, 407-414 (2011).
7
From retrospective verification to forward-looking development (English)
NASA Formal Methods, 1 (2011).
9
Doomed program points. (English)
Form. Methods Syst. Des. 37, No. 2-3, 171-199 (2010).
10
Dafny: an automatic program verifier for functional correctness. (English)
Clarke, Edmund M. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 ‒ May 1, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17510-7/pbk). Lecture Notes in Computer Science 6355. Lecture Notes in Artificial Intelligence, 348-370 (2010).
11
To \url{Goto} where no statement has gone before. (English)
Leavens, Gary T. (ed.) et al., Verified software: theories, tools, experiments. Third international conference, VSTTE 2010, Edinburgh, UK, August 16‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15056-2/pbk). Lecture Notes in Computer Science 6217, 157-168 (2010).
12
Dafny meets the verification benchmarks challenge. (English)
Leavens, Gary T. (ed.) et al., Verified software: theories, tools, experiments. Third international conference, VSTTE 2010, Edinburgh, UK, August 16‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15056-2/pbk). Lecture Notes in Computer Science 6217, 112-126 (2010).
13
Learning to do program verification. (English)
Commun. ACM 53, No. 6, 106 (2010).
14
Using the Spec\# language, methodology, and tools to write bug-free programs. (English)
Müller, Peter (ed.), Advanced lectures on software engineering. LASER summer school 2007/2008. Berlin: Springer (ISBN 978-3-642-13009-0/pbk). Lecture Notes in Computer Science 6029, 91-139 (2010).
15
Deadlock-free channels and locks. (English)
Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 407-426 (2010).
16
A polymorphic intermediate verification language: Design and logical encoding. (English)
Esparza, Javier (ed.) et al., Tools and algorithms for the construction and analysis of systems. 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12001-5/pbk). Lecture Notes in Computer Science 6015, 312-327 (2010).
17
Verifying concurrent programs with Chalice. (English)
Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 2 (2010).
18
A polymorphic intermediate verification language: design and logical encoding (English)
TACAS, 312-327 (2010).
19
Dafny: an automatic program verifier for functional correctness (English)
LPAR (Dakar), 348-370 (2010).
20
Result 1 to 20 of 116 total
Start
Contact
Print
General Help
