„Model Checking“

Suchergebnisse

1.904 Treffer

• Integrated formal methods – 5th international conference ; proceedings
  Romijn, Judi 2005 Springer
• [Abstract state machines 2004] – [advances in theory and practice ; 11th international workshop ; proceedings]
  Zimmermann, Wolf 2004 [Springer]
• Correct hardware design and verification methods – 12th IFIP WG 10.5 advanced research working conference ; proceedings
  Geist, Daniel 2003 Springer
• Formal methods – proceedings
  Araki, Keijiro 2003 Springer
• Formal techniques for networked and distributed systems – 23rd IFIP WG 6.1 international conference ; proceedings
  König, Hartmut 2003 Springer
• Model checking software – proceedings
  Graf, Susanne 2004 Springer
• Tools and algorithms for the construction and analysis of systems – 10th international conference ; proceedings
  Jensen, Kurt 2004 Springer
• Integrated formal methods – 4th international conference ; proceedings
  Boiten, Eerke 2004 Springer
• Verification, model checking, and abstract interpretation – 5th international conference ; proceedings
  Steffen, Bernhard 2003 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Formal techniques in real time and fault tolerant systems – 7th international symposium ; proceedings
  Damm, Werner 2002 Springer
• Formal methods in computer aided design – 4th international conference ; proceedings
  Aagaard, Mark 2002 Springer
• Formal techniques for networked and distributed systems – 22nd IFIP WG 6.1 international conference ; proceedings
  Peled, Doron 2002 Springer
• Verification, model checking, and abstract interpretation – 4th international conference ; proceedings
  Zuck, Lenore D. 2002 Springer
• Process algebra and probabilistic methods – performance modeling and verification ; second joint international workshop ; proceedings
  Hermanns, Holger 2002 Springer
• Tools and algorithms for the construction and analysis of systems – 9th international conference ; proceedings
  Garavel, Hubert 2003 Springer
• Abstraction, reformulation, and approximation – 5th international symposium ; proceedings
  Koenig, Sven 2002 Springer
• Model checking software – proceedings
  Bošnački, Dragan 2002 Springer
• Formal methods in computer aided design – third international conference ; proceedings
  Hunt, Warren A. 2002 Springer
• Abstract state machines – theory and applications ; international workshop ; proceedings
  Gurevich, Yuri 2002 Springer