„Model-checking“

Suchergebnisse

1.904 Treffer

• Formal methods – foundations and applications : revised selected papers
  Oliveira, Marcel Vinícius Medeiros 2009 Springer
• Formal methods and software engineering – proceedings
  Breitman, Karin 2009 Springer
• Automated technology for verification and analysis – 7th international symposium ; proceedings
  Liu, Zhiming 2009 Springer
• Formal methods for industrial critical systems – 14th international workshop ; proceedings
  Alpuente, María 2009 Springer
• Verifying real-time systems
  Morbé, Georges 2015 Der Andere Verlag
• Theoretical aspects of computing – 6th international colloquium ; proceedings
  Leucker, Martin 2009 Springer
• Formal methods for industrial critical systems – 13th international workshop ; revised selected papers
  Cofer, Darren 2009 Springer
• Tests and proofs – third international conference ; proceedings
  Dubois, Catherine 2009 Springer
• Objects, components, models and patterns – 47th international conference, tools EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings
  Oriol, Manuel 2009 Springer
• Model checking software – proceedings
  Păsăreanu, Corina S. 2009 Springer
• Hardware and software: verification and testing – proceedings
  Chockler, Hana 2009 Springer
• System-on-chip protocol compliance verification using interval property checking – = Verifikation von System-on-chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
  Nguyen, Duc-Minh
• Model checking and artificial intelligence – 5th international workshop ; revised selected and invited papers
  Peled, Doron 2009 Springer
• Tools and algorithms for the construction and analysis of systems – 15th international conference ; proceedings
  Kowalewski, Stefan 2009 Springer
• Integrated formal methods – 7th international conference ; proceedings
  Leuschel, Michael 2009 Springer
• Mixed signal circuit verification using symbolic model checking techniques
  Jesser, Alexander 2008 Verl. Dr. Hut
• Formal Techniques for Safety-Critical Systems – Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
  Artho, Cyrille ; Ölveczky, Peter Csaba 2015 Springer International Publishing
• Verification, model checking, and abstract interpretation – 10th international conference ; proceedings
  Jones, Neil D. 2009 Springer
• From non-disjoint combination to satisfiability and model checking of infinite state systems
  Ghilardi, Silvio ; Ranise, Silvio ; Nicolini, Enrica ; Zucchelli, Daniele 2007 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Animating and model checking B specifications with higher order recursive functions
  Leuschel, Michael ; Bendisposto, Jens 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]