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

Company

Intel / Microsoft / /

Currency

USD / /

/

Facility

University of Passau / Germany Institute / /

IndustryTerm

ic3 algorithm / software-verification tool / software-quality assurance / Verification tools / software-development process / computing / verification tool / /

OperatingSystem

Linux / Ubuntu / /

Organization

University of Passau / Germany Institute for System Programming / /

Person

Stefan Löwe / Dirk Beyer / Evgeny Novikov / Philipp Wendler / Andreas Stahlbauer / /

/

Position

driver / Linux Driver / representative / General / /

ProgrammingLanguage

C / /

Technology

RAM / Java / Linux / API / ISP / ic3 algorithm / scsi / /

URL

http /

SocialTag