@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}
}
Integration of Bounded Model Checking and Deductive Verification
| Autor(en): | Bernhard Beckert, Thorsten Bormer, Florian Merz und Carsten Sinz |
|---|---|
| In: | Formal Verification of Object-Oriented Software International Conference (FoVeOOS 2011), Revised Selected Papers |
| Verleger: | Springer |
| Reihe: | LNCS |
| Band: | 7421 |
| Jahr: | 2012 |
| Seiten: | 86-104 |
| Preprint/PDF: | BeckertBormerEA2012.pdf |