<--- Back to Details
First PageDocument Content
Computing / Software engineering / Software / Formal methods / Theoretical computer science / Model checkers / Logic in computer science / Java Pathfinder / Model checking / Formal verification / Promela / Abstract interpretation
Date: 2014-07-17 11:43:19
Computing
Software engineering
Software
Formal methods
Theoretical computer science
Model checkers
Logic in computer science
Java Pathfinder
Model checking
Formal verification
Promela
Abstract interpretation

Add to Reading List

Source URL: www.havelund.com

Download Document from Source Website

File Size: 144,53 KB

Share Document on Facebook

Similar Documents

Mathematical logic / Mathematics / Theoretical computer science / Temporal logic / Logic in computer science / Model theory / Formal methods / Linear temporal logic / Satisfiability modulo theories / First-order logic / Propositional calculus / IP

Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli

DocID: 1xVp7 - View Document

C OMPETENCE N ETWORK S OFTNET AUSTRIA Testing with model checkers: A survey SNA-TR-2007-P2-04 Gordon Fraser, Franz Wotawa, Paul E. Ammann

DocID: 1tn0p - View Document

Engineering / Computing / Theoretical computer science / Product testing / Systems engineering / Workflow technology / Model checkers / PRISM model checker / Model checking / Workflow / Markov chain / Reliability engineering

Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN:

DocID: 1rr6u - View Document

Software engineering / Theoretical computer science / Computing / Concurrent computing / Constraint programming / Models of computation / Model checkers / Process calculus / Michael Butler / Model checking / FDR / Denotational semantics

Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2

DocID: 1r6cA - View Document