<--- Back to Details
First PageDocument Content
Abstraction / Model checkers / Timed automaton / Uppaal Model Checker / Model checking / Is-a / Software engineering / Computing / Computer programming
Date: 2012-03-23 03:32:40
Abstraction
Model checkers
Timed automaton
Uppaal Model Checker
Model checking
Is-a
Software engineering
Computing
Computer programming

Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx

Add to Reading List

Source URL: spes2020.informatik.tu-muenchen.de

Download Document from Source Website

File Size: 310,82 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