„model checking“
Suchergebnisse
1.904 Treffer
-
Developing concepts and methods for module and integration tests for models of reactive systems
-
Twin-Width VIII: Delineation and Win-Wins
-
Model-checking problems, machines and parameterized complexity
-
Formal verification of a fully IEEE compliant floating point unit
-
Formal methods for real-time requirements engineering
-
Exploring the limits of parameterized system verification
-
Abstraction-based verification of parameterized networks
-
Speeding up hardware verification by automated data path scaling
-
Software verification for programmable logic controllers
-
System verification tools based on monadic logics
-
Preprocessing for property checking of sequential circuits on the register transfer level – = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
-
Verification, Model Checking, and Abstract Interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
-
Tests and Proofs – Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
-
Verification, Model Checking, and Abstract Interpretation – 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
-
Verification, Model Checking, and Abstract Interpretation – 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
-
Model Checking Software – 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
-
Fundamentals of Computation Theory – 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
-
Algebraic and Numeric Biology – 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
-
Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
-
Formal Modeling and Analysis of Timed Systems – 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings