Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
<--- Back to Details
First Page
Document Content
Date: 2014-10-12 12:01:50
Finite automata
Tree automaton
Tree
Formal languages
Model checking
Add to Reading List
Source URL: akira.ruc.dk
Download Document from Source Website
File Size: 716,27 KB
Share Document on Facebook
Similar Documents
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
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
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
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
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford
DocID: 1xVM0 - View Document