„Model-checking“
Suchergebnisse
1.904 Treffer
-
A Property Checking Methodology for Weakly Programmable System-on-Chip IPs – Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs
-
Verification of Security Properties Using Formal Techniques
-
On symmetry reduction in model checking via graph canonicalisation
-
Model checking nondeterministic and randomly timed systems
-
Diagnosis, synthesis and analysis of probabilistic models
-
The quantitative µ-calculus
-
Lock sensitive analysis of parallel programs
-
Verification of continuous-space stochastic systems
-
Programmanalysen zur Verbesserung der Softwaremodellprüfung
-
Slicing and reduction techniques for model checking Petri nets
-
Definability and model checking – the role of orders and compositionality
-
A framework for automated HW/SW co-verification of SystemC designs using tmed automata
-
Computation sequence Chart – ein Konzept zur anforderungsbezogenen Testfallgenerierung
-
Verifikation von systemnaher Software mittels Bounded Model Checking
-
Development of Automatic Program Verification for Continuous Function Chart based on Model Checking
-
Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen
-
Model checking finite paths and trees
-
Symbolische Methoden für die probabilistische Verifikation – Zustandsraumreduktion und Gegenbeispiele
-
Abstraction refinement techniques for software model checking
-
Modelling and verifying abilities of rational agents