![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 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](https://www.pdfsearch.io/img/d621a347001237c7078edb19dc10ba1a.jpg) Date: 2013-10-11 06:59:23Formal 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 1Add to Reading ListSource URL: www.sosy-lab.orgDownload Document from Source Website File Size: 364,81 KBShare Document on Facebook
|