„Model-checking“
Suchergebnisse
1.904 Treffer
-
Securing the System: Formal Methods for Error-Free Software
-
Mining and checking object behavior
-
Three-valued abstraction for stochastic systems
-
Directed model checking for timed automata
-
Cartesian abstraction and verification of multithreaded programs
-
Model checking of software for microcontrollers
-
Directed diagnostics of system dependability models
-
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
-
Challenges and applications of assembly level software model checking
-
Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese
-
External memory algorithms for state space exploration in model checking and action planning
-
System-on-chip protocol compliance verification using interval property checking – = Verifikation von System-on-Chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
-
Document verification with temporal description logics
-
A formal fault model for component based models of embedded systems
-
SAT-based verification – from core algorithms to novel application domains
-
Formal methods for industrial critical systems – 13th international workshop ; revised selected papers
-
Werkzeuge zur Entwicklung von XML-Spezifikationen
-
Incomplete property checking for asynchronous reactive systems
-
Quantum Circuit Verification - A Potential Roadmap (Invited Talk)
-
Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme