Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Model checkers / Software testing / Software verification / Formal verification / Model checking / Verification and validation / BLAST model checker / Theoretical computer science / Applied mathematics / Mathematical software


Precision Reuse for Efficient Regression Verification † Dirk Beyer 1 , Stefan Löwe 1 , Evgeny Novikov 2 , Andreas Stahlbauer 1 , and Philipp Wendler 1 1
Add to Reading List

Document Date: 2013-10-11 06:59:23

Open Document

File Size: 364,81 KB

Share Result on Facebook
UPDATE