Literature

Found 7 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Weissenbacher  [Clear All Filters]
2010
D'Silva, V., Kroening, D., Purandare, M., Weissenbacher, G. , "Interpolant Strength", VMCAI 2010, vol. 5944, Madrid, Springer, pp. 129-145, 17/01/2010. Abstract
 Export: Tagged XML BibTex
Weissenbacher, G., (editor), , "D 3.2b - Modelling Languages (final version)", MOGENTES public project deliverable, 2010  .
 Export: Tagged XML BibTex
Kroening, D., Weissenbacher, G. , "Verification and Falsification of Programs with Loops using Predicate Abstraction", Formal Aspects of Computing, vol. 22, issue 2: Springer, pp. 105-124, 2010  . Abstract
 Export: Tagged XML BibTex
2009
Kroening, D., Weissenbacher, G. , "Verification and Falsification of Programs with Loops using Predicate Abstraction", Formal Aspects of Computing, 2009  . Abstract
 Export: Tagged XML BibTex
2008
D'Silva, V., Kroening, D., Weissenbacher, G. , "A Survey of Automated Techniques for Formal Software Verification", A Survey of Automated Techniques for Formal Software Verification: IEEE, 2008  . Abstract
 Export: Tagged XML BibTex
Weissenbacher, G., (editor), , "D 3.1b - Fault Models (Final Version)", MOGENTES public project deliverable, 2008  .
 Export: Tagged XML BibTex
Weissenbacher, G., (editor), , D 4.1 - Fault-based Test-Case Generation Methods, , 2008  .
 Export: Tagged XML BibTex