Development and evaluation of LAV: an SMT-based error finding platform. System description. (English)
Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 98-113 (2012).
1
Ensuring safe usage of buffers in programming language C (English)
ICSOFT (PL/DPS/KE), 29-36 (2008).
2
Random $k$-GD-Sat model and its phase transition. (English)
J. UCS 13, No. 4, 572-591, electronic only (2007).
3
Start
Contact
Print
General Help
