„Model-checking“

Suchergebnisse

1.904 Treffer

• Programming languages and systems – 8th Asian symposium ; proceedings
  Ueda, Kazunori 2010 Springer
• Formal methods and software engineering – proceedings
  Dong, Jin Song ; Zhu, Huibiao 2010 Springer
• Integrated Formal Methods – 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  Méry, Dominique 2010 Springer Berlin Heidelberg
• Automated Technology for Verification and Analysis – 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
  Bouajjani, Ahmed 2010 Springer Berlin Heidelberg
• Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation
  Oberkönig, Martin 2010 dissertation.de
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Testing software and systems – 22nd IFIP WG 6.1 international conference ; proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer
• Consistency checking of legal contracts using a temporal model
  Strasser, Andreas 1990 Inst. für Informatik
• Integrated formal methods – 8th international conference ; proceedings
  Méry, Dominique 2010 Springer
• Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking – Grundlagen, Konzepte, Implementierung
  Röhs, Malte 2010 VDM Verlag Dr. Müller
• Symbolisches Model Checking variabler Verhaltensspezifikationen – Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung
  Jonischkat, Tim 2010 VDM Verlag Dr. Müller
• Logical Analysis of Hybrid Systems – Proving Theorems for Complex Dynamics
  Platzer, André 2010 Springer Berlin Heidelberg
• Using Model Checking for Analyzing Distributed Power Control Problems
  Brihaye, Thomas ; Jungers, Marc ; Lasaulce, Samson ; Markey, Nicolas ; Oreiby, Ghassan
• Model checking of persistent petri nets
  Best, Eike ; Esparza, Javier 1991 Inst. für Informatik
• Improved statistical model checking methods for pathway analysis
  Koh, Chuan Hock ; Palaniappan, Sucheendra K. ; Thiagarajan, PS ; Wong, Limsoon
• Formal methods for industrial critical systems – 15th international workshop ; proceedings
  Kowalewski, Stefan 2010 Springer
• Tools and algorithms for the construction and analysis of systems – 22nd International Conference, TACAS 2016 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
  Chechik, Marsha ; Raskin, Jean-François 2016 Springer
• Automated technology for verification and analysis – 8th international symposium ; proceedings
  Bouajjani, Ahmed 2010 Springer
• Trustworthly global computing – 5th international symposium ; revised selected papers
  Wirsing, Martin 2010 Springer