„Model-checking“

Suchergebnisse

1.904 Treffer

• Formal methods: foundations and applications – revised selected papers
  Davies, Jim ; Silva, Leila ; Simao, Adenilso 2011 Springer
• Foundations of software science and computational structures – 14th international conference ; proceedings
  Hofmann, Martin 2011 Springer
• Fundamental approaches to software engineering – 14th international conference ; proceedings
  Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer
• Counterexamples for Model Checking of Markov Decision Processes
  Aljazzar, Husain ; Leue, Stefan 2008 Bibliothek der Universität Konstanz
• Programming languages and systems – proceedings
  Barthe, Gilles 2011 Springer
• Hardware and software – verification and testing ; revised selected papers
  Barner, Sharon ; Harris, Ian ; Kroening, Daniel ; Raz, Orna 2011 Springer
• Modulares Constraint-Checking – domänenunabhängiges Feedback bei der Modellierung mit visuellen Sprachen
  Herrmann, Kai 2011 Kovač
• Hardware and software – verification and testing ; revised selected papers
  Namjoshi, Kedar S. ; Zeller, Andreas ; Ziv, Avi 2011 Springer
• Refined probabilistic abstraction
  Wachter, Björn 2011 Logos-Verl.
• Symbolic Causality Checking Using Bounded Model Checking
  Beer, Adrian ; Heidinger, Stephan ; Kühne, Uwe ; Leitner-Fischer, Florian ; Leue, Stefan 2015 Bibliothek der Universität Konstanz
• Synthesizing, correcting and improving code, using model checking-based genetic programming
  Katz, Gal ; Peled, Doron
• Many-core on-the-fly model checking of safety properties using GPUs
  Wijs, Anton ; Bošnački, Dragan
• Verification, model checking, and abstract interpretation – 12th international conference ; proceedings
  Jhala, Ranjit ; Schmidt, David 2011 Springer
• Efficient solving of large arithmetic constraint systems with complex Boolean structure – proof engines for the analysis of hybrid discrete-continuous systems
  Herde, Christian 2011 Vieweg + Teubner
• Compulsive checking behavior of quinpirole-sensitized rats as an animal model of Obsessive-Compulsive Disorder(OCD): form and control
  Szechtman, Henry ; Eckert, Michael J. ; Tse, Wai S. ; Boersma, Jonathan T. ; Bonura, Carlo A. ; McClelland, Jessica Z. ; Culver, Kirsten E. ; Eilam, David
• Distributed computing and networking – 12th international conference ; proceedings
  Aguilera, Marcos K. ; Yu, Haifeng ; Vaidya, Nitin H. ; Srinivasan, Vikram ; Choudhury, Romit Roy 2011 Springer
• Automated parameter estimation for biological models using Bayesian statistical model checking
  Hussain, Faraz ; Langmead, Christopher J. ; Mi, Qi ; Dutta-Moscato, Joyeeta ; Vodovotz, Yoram ; Jha, Sumit K.
• Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
• Internet commerce security: issues and models for control checking
  Hansen, J V.
• The Modeling Library of Eavesdropping Methods in Quantum Cryptography Protocols by Model Checking
  Yang, Fan ; Yang, Guowu ; Hao, Yujie