<--- 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

Computing / Computer programming / C / Data types / Pointer / Hooking / Exec / Nm / Struct

Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

DocID: 1xVWH - View Document

Model checkers / Computing / Theoretical computer science / Software engineering / Formal methods / Promela / SPIN model checker / Model checking / Guard / Certificate / Formal verification / Printf format string

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

DocID: 1xVPm - View Document

Mathematics / Temporal logic / Mathematical analysis / Mathematical logic / Formal languages / Model theory / Generalized functions / Computation tree logic / Logic in computer science / Linear temporal logic / Interpretation / IP

Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

DocID: 1xVOF - View Document

Finite automata / DFA minimization / Deterministic automaton / Finite-state machine / Theoretical computer science / Muller automaton / Bchi automaton

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

DocID: 1xVMq - View Document

Linear temporal logic / Temporal logic / Symbol / Stochastic game / Mathematical optimization / Markov decision process / Markov chain / Probability

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

DocID: 1xVM0 - View Document