Skip to main content

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