Highlights from the BMC’03 workshop and more
Special section on Bounded Model Checking
- 21 Downloads
KeywordsModel Check Wine Strategy Symbolic Model Check Bound Model Check Model Check Technique
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
- 1.Sheeran M, Singh S, Stalmarck G (2000) Checking safety properties using induction and a sat-solver. In: Hunt WA, Johnson SD (eds) Proceedings of the inernational conference on formal methods in computer-aided design (FMCAD 2000)Google Scholar
© Springer-Verlag 2005