Combined feature extraction on medical X-ray images (English)
CICSyN, 264-268 (2011).
1
Termination criteria for bounded model checking: Extensions and comparison. (English)
Electron. Notes Theor. Comput. Sci. 144, No. 1, 51-66 (2006).
2
Automatic invariant strengthening to prove properties in bounded model checking (English)
DAC, 1073-1076 (2006).
3
Increasing the robustness of bounded model checking by computing lower bounds on the reachable states. (English)
Hu, Alan J. (ed.) et al., Formal methods in computer-aided design. 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15‒17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23738-0/pbk). Lecture Notes in Computer Science 3312, 230-244 (2004).
4
Proving more properties with bounded model checking. (English)
Alur, Rajeev (ed.) et al., Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13‒17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22342-8/pbk). Lecture Notes in Computer Science 3114, 96-108 (2004).
5
CirCUs: A satisfiability solver geared towards bounded model checking. (English)
Alur, Rajeev (ed.) et al., Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13‒17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22342-8/pbk). Lecture Notes in Computer Science 3114, 519-522 (2004).
6
Increasing the robustness of bounded model checking by computing lower bounds on the reachable states (English)
FMCAD, 230-244 (2004).
7
Circus: A satisfiability solver geared towards bounded model checking (English)
CAV, 519-522 (2004).
8
Proving more properties with bounded model checking (English)
CAV, 96-108 (2004).
9
Start
Contact
Print
General Help
