Safety Verification and Refutation by k−Invariants and k−Induction
Martin Brain‚ Saurabh Joshi‚ Daniel Kroening and Peter Schrammel
Book Title
Static Analysis Symposium‚ SAS 2015
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
to appear
Year
2015