<--- Back to Details
First PageDocument Content
Model checkers / Software engineering / Computing / Theoretical computer science / Model checking / Promela / Formal verification / SPIN model checker / Abstraction / Sizeof / Const
Date: 2010-09-11 18:28:50
Model checkers
Software engineering
Computing
Theoretical computer science
Model checking
Promela
Formal verification
SPIN model checker
Abstraction
Sizeof
Const

Tackling Large Software Verification Problems with Spin

Add to Reading List

Source URL: rjoshi.org

Download Document from Source Website

File Size: 90,56 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