„model checking“
Suchergebnisse
1.904 Treffer
-
Improving Scalability of Model Checking Software Architectures – A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML
-
Path predicate abstraction – for sound system-level modeling of digital circuits
-
Tools and Algorithms for the Construction and Analysis of Systems – 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
-
Verifikation unvollständiger Schaltkreise
-
Logical analysis of hybrid systems – proving theorems for complex dynamics
-
A framework for automated HW/SW co-verification of SystemC designs using timed automata
-
True Concurrency and Atomicity – A model checking approach with contextual Petri nets
-
Tests and proofs – 4th international conference ; proceedings
-
Model checking nondeterministic and randomly timed systems
-
Diagnosis, synthesis and analysis of probabilistic models
-
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
-
Embedding CTL* in an Extension to Interval Temporal Logic (ITL)
-
On symmetry reduction in model checking via graph canonicalisation
-
Tools and algorithms for the construction and analysis of systems – 16th International Conference ; proceedings
-
Concurrency, compositionality, and correctness – essays in honor of Willem-Paul de Roever
-
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
-
Development of automatic program verification for continuous function chart based on model checking
-
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
-
Model Checking for Game Design
-
Proceedings of the conference / 2009 IEEE International Conference on Software Maintenance (ICSM) – September 20 - 26, 2009, Edmonton, Alberta, Canada ; [celebrating 25 years]