Publications of Grégoire Sutre with R. Majumdar
Conference articles
-
T. A. Henzinger,
R. Jhala,
R. Majumdar,
and G. Sutre.
Software Verification with BLAST.
In Proc. 10th Int. SPIN Workshop (SPIN'2003), Portland, OR, USA, May 2003,
volume 2648 of Lecture Notes in Computer Science,
pages 235-239.
Springer,
2003.
Note: Tool paper.
[ps]
[doi]
[bib]
-
T. A. Henzinger,
R. Jhala,
R. Majumdar,
G. C. Necula,
G. Sutre,
and W. Weimer.
Temporal-Safety Proofs for Systems Code.
In Proc. 14th Int. Conf. Computer Aided Verification (CAV'2002), Copenhagen, Denmark, July 2002,
volume 2404 of Lecture Notes in Computer Science,
pages 526-538.
Springer,
2002.
[ps]
[doi]
[bib]
-
T. A. Henzinger,
R. Jhala,
R. Majumdar,
and G. Sutre.
Lazy Abstraction.
In Proc. 29th ACM Symp. Principles of Programming Languages (POPL'2002), Portland, OR, USA, Jan. 2002,
pages 58-70.
ACM Press,
2002.
[ps]
[doi]
[bib]
This document was translated from BibTEX by
bibtex2html