„Model-checking“

Suchergebnisse

1.904 Treffer

• An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
  Frenkel, Hadar ; Grumberg, Orna ; Sheinvald, Sarai
• Abstraction, reformulation and approximation – 6th international symposium ; proceedings
  Zucker, Jean-Daniel 2005 Springer
• Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking
  Pavlović, Olivera
• Model Checking UML State Machines and Collaborations
  Schäfer, Timm ; Knapp, Alexander ; Merz, Stephan 2001 Universität Augsburg
• SPIN model checking and software verification ; proceedings
  Havelund, Klaus 2000 Springer
• Theoretical and practical aspects of SPIN model checking – proceedings
  Dams, Dennis 1999 Springer
• Formal techniques in real time and fault tolerant systems – 5th international symposium ; proceedings
  Ravn, Anders P. 1998 Springer
• Model based testing of reactive systems – advanced lectures
  Broy, Manfred 2005 Springer
• Formal techniques for networked and distributed systems – 22nd IFIP WG 6.1 international conference ; proceedings
  Peled, Doron 2002 Springer
• Formal methods in computer aided design – third international conference ; proceedings
  Hunt, Warren A. 2000 Springer
• Compositionality – the significant difference ; international symposium ; revised lectures
  Roever, Willem-Paul ˜deœ 1998 Springer
• Formal methods in computer aided design – second international conference ; proceedings
  Gopalakrishnan, Ganesh 1998 Springer
• CIP model checking
  Moglestue, Andreas 2004 Shaker
• Network segregation in a model of misinformation and fact-checking
  Tambuscio, Marcella ; Oliveira, Diego F. M. ; Ciampaglia, Giovanni Luca ; Ruffo, Giancarlo
• Formale Analyse von sequential function Charts
  Bauer, Nanette 2004 Shaker
• Verification and validation of logic control algorithms by model checking – = Verifikation und Validierung von Steuerungsalgorithmen mittels Model Checking
  Weng, Xiying 2003 Shaker
• Simulation teilformaler Anforderungsmodelle
  Seybold, Christian 2006 Shaker
• Efficient software product-line model checking using induction and a SAT solver
  He, Fei ; Gao, Yuan ; Yin, Liangze
• Evaluation of redundancy-based system: a model checking approach
  Fang, Ling ; Mu, Chunyan ; Cheng, Zhuo ; Li, Guoqiang
• Equivalence checking of Petri net models of programs using static and dynamic cut-points
  Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan