Back to Results
First PageMeta Content
Applied mathematics / Logic in computer science / Model checking / Formal verification / Assertion / Automated theorem proving / Function / Economic model / Software verification / Theoretical computer science / Mathematics / Formal methods


Conditional Model Checking: A Technique to Pass Information between Verifiers Dirk Beyer University of Passau Germany
Add to Reading List

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

Open Document

File Size: 949,51 KB

Share Result on Facebook

City

Cary / /

Country

United States / /

Currency

USD / /

Facility

Verifiers Dirk Beyer University of Passau Germany Thomas A. Henzinger M. Erkan Keremoglu IST Austria / BUG pipeline / Austria Simon Fraser University Canada ∗‡ Philipp Wendler University of Passau Germany ABSTRACT / University of Passau / /

Holiday

Assumption / /

IndustryTerm

search strategies / supplementary web page / parallel algorithms / Software model checking / automatic search-based procedure / model-checking tools / iteration algorithms / software-verification tools / overall algorithms / verification tools / verification technologies / software verification / verification tool / /

OperatingSystem

Linux / Ubuntu / /

Organization

University of Passau / Verifiers Dirk Beyer University / Passau Germany Thomas A. Henzinger M. Erkan Keremoglu IST Austria Austria Simon Fraser University Canada ∗‡ Philipp Wendler University of Passau Germany ABSTRACT / /

Person

Verification / /

Position

Colonel / CPA / Model / /

ProgrammingLanguage

Java / C / /

ProvinceOrState

North Carolina / /

Technology

virtual machine / RAM / overall algorithms / Java / Linux / verification technologies / operating system / iteration algorithms / /

URL

http /

SocialTag