Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Integration of Bounded Model Checking and Deductive Verification

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Thorsten Bormer, Florian Merz, and Carsten Sinz
In:Formal Verification of Object-Oriented Software International Conference (FoVeOOS 2011), Revised Selected Papers
Publisher:Springer
Series:LNCS
Volume:7421
Year:2012
Pages:86-104
Preprint/PDF:BeckertBormerEA2012.pdf

BibTeX

@inproceedings{BeckertBormerEA2012,
  author       = {Bernhard Beckert and Thorsten Bormer and Florian Merz and Carsten Sinz},
  title        = {Integration of Bounded Model Checking and Deductive Verification},
  booktitle    = {Formal Verification of Object-Oriented Software
		  International Conference ({FoVeOOS} 2011), 
		  Revised Selected Papers},
  publisher    = {Springer},
  series       = {LNCS},
  volume       = {7421},
  pages        = {86--104},
  year         = {2012},
  month        = oct,
  venue        = {Turin, Italy},
  eventdate    = {2011-10-05/2011-10-07}
}