Skip to main content

2LS for Program Analysis − (Competition Contribution)

Peter Schrammel and Daniel Kroening

Book Title
Tools and Algorithms for the Construction and Analysis of Systems‚ TACAS 2016
Pages
905–907
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
9636
Year
2016