Result 1 to 20 of 84 total
Binary reachability analysis of higher order functional programs. (English)
Miné, Antoine (ed.) et al., Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33124-4/pbk). Lecture Notes in Computer Science 7460, 388-404 (2012).
1
Towards automatic synthesis of software verification tools. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 22 (2012).
2
HSF(C): a software verifier based on Horn clauses. (Competition contribution). (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 549-551 (2012).
3
Compositional termination proofs for multi-threaded programs. (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 237-251 (2012).
4
Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22‒24, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7148. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). xi, 461~p. EUR~66.34 (2012).
5
Solving recursion-free Horn clauses over LI+UIF. (English)
Yang, Hongseok (ed.), Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25317-1/pbk). Lecture Notes in Computer Science 7078, 188-203 (2011).
6
HMC: Verifying functional programs using abstract interpreters. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 470-485 (2011).
7
Threader: A constraint-based verifier for multi-threaded programs. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 412-417 (2011).
8
Proving program termination. (English)
Commun. ACM 54, No. 5, 88-98 (2011).
9
Transition invariants and transition predicate abstraction for program termination. (English)
Abdulla, Parosh Aziz (ed.) et al., 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. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 3-10 (2011).
10
Distributed and predictable software model checking. (English)
Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 340-355 (2011).
11
Separation logic + superposition calculus = heap theorem prover (English)
PLDI, 556-566 (2011).
12
Transition invariants and transition predicate abstraction for program termination (English)
TACAS, 3-10 (2011).
13
Predicate abstraction and refinement for verifying multi-threaded programs (English)
POPL, 331-344 (2011).
14
Solving recursion-free Horn clauses over Li+UIF (English)
APLAS, 188-203 (2011).
15
Towards automatic synthesis of software verification tools (English)
PPDP, 3-4 (2011).
16
Threader: A constraint-based verifier for multi-threaded programs (English)
CAV, 412-417 (2011).
17
HMC: verifying functional programs using abstract interpreters (English)
CAV, 470-485 (2011).
18
Distributed and predictable software model checking (English)
VMCAI, 340-355 (2011).
19
Constraint solving for interpolation. (English)
J. Symb. Comput. 45, No. 11, 1212-1233 (2010).
20
Result 1 to 20 of 84 total
Start
Contact
Print
General Help
