×

Found 4 Documents (Results 1–4)

Mining temporal specifications for error detection. (English) Zbl 1087.68600

Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 461-476 (2005).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

CCured, type-safe retrofitting of legacy code. (English) Zbl 1323.68382

Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 128-139 (2002).
PDFBibTeX XMLCite
Full Text: DOI

CIL: Intermediate language and tools for analysis and transformation of C programs. (English) Zbl 1051.68756

Horspool, R. Nigel (ed.), Compiler construction. 11th international conference, CC 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Berlin: Springer (ISBN 3-540-43369-4). Lect. Notes Comput. Sci. 2304, 213-228 (2002).
MSC:  68U99 68N20
PDFBibTeX XMLCite
Full Text: Link

Temporal-safety proofs for systems code. (English) Zbl 1010.68507

Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 526-538 (2002).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Year of Publication

Main Field

all top 3

Software