„model checking“

Suchergebnisse

1.904 Treffer

• Developing concepts and methods for module and integration tests for models of reactive systems
  Kyeyune, Yusufu
• Twin-Width VIII: Delineation and Win-Wins
  Bonnet, Édouard ; Chakraborty, Dibyayan ; Kim, Eun Jung ; Köhler, Noleen ; Lopes, Raul ; Thomassé, Stéphan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model-checking problems, machines and parameterized complexity
  Chen, Yijia
• Formal verification of a fully IEEE compliant floating point unit
  Jacobi, Christian
• Formal methods for real-time requirements engineering
  Rock, Georg
• Exploring the limits of parameterized system verification
  Stahl, Karsten
• Abstraction-based verification of parameterized networks
  Baukus, Kai
• Speeding up hardware verification by automated data path scaling
  Johannsen, Peer
• Software verification for programmable logic controllers
  Huuck, Ralf
• System verification tools based on monadic logics
  Ayari, Abdelwaheb
• 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
  Brinkmann, Raik
• Verification, Model Checking, and Abstract Interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
  2016 Springer International Publishing
• Tests and Proofs – Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
  Beckert, Bernhard 2008 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
  Barthe, Gilles 2010 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
  Cook, Byron 2007 Springer International Publishing
• Model Checking Software – 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
  Ball, Thomas 2003 Springer International Publishing
• Fundamentals of Computation Theory – 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
  Kutyłowski, Mirosław 2009 Springer International Publishing
• Algebraic and Numeric Biology – 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
  Horimoto, Katsuhisa ; Nakatsui, Masahiko ; Popov, Nikolaj 2012 Springer International Publishing
• 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
  2017 Springer International Publishing
• Formal Modeling and Analysis of Timed Systems – 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
  Ouaknine, Joe͏̈l 2009 Springer Berlin Heidelberg