„checking“
Suchergebnisse
2.968 Treffer
-
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
-
Configuration checking and design optimization of storage area networks
-
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
-
Anforderungsspezifikation, Verhaltensspezifikation und Überprüfung objektorientierter Stellwerke mit Multi-Objektlogiken, UML-Zustandsdiagrammen und Multi-object-Checking
-
Efficient distributed bounded property checking
-
A formal fault model for component based models of embedded systems
-
SAT-based verification – from core algorithms to novel application domains
-
Metamodel-based Design Rule Checking and Enforcement
-
Drug-Checking-Programme – Eine sekundärpräventive Maßnahme für Konsumenten illegaler Drogen?
-
Formal methods for industrial critical systems – 13th international workshop ; revised selected papers