„Model-checking“

Suchergebnisse

1.904 Treffer

• The automata theoretic method works for TCTL model checking
  Dickhöfer, Martin ; Wilke, Thomas 1998 Inst. für Informatik und Praktische Mathematik
• Correct hardware design and verification methods – 10th IFIP WG 10.5 advanced research working conference ; proceedings
  Pierre, Laurence 1999 Springer
• Model-checking zur Analyse von message sequence charts über stacharts
  Canver, Ercüment 1999 Univ., Fak. für Informatik
• Tools and algorithms for the construction and analysis of systems – 19th international conference ; proceedings
  Piterman, Nir ; Smolka, Scott 2013 Springer
• Stubborn sets for model checking the EF-AG fragment of CTL
  Wolf, Karsten 1999 Professoren des Inst. für Informatik
• Verification of digital and hybrid systems – [proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997]
  İnan, M. Kemal 2000 Springer
• Model checking gossip modalities
  Huhn, Michaela ; Niebert, Peter ; Wallner, Frank 1998 Univ., Fak. für Informatik
• Verification of Reactive Systems – Formal Methods and Algorithms
  Schneider, Klaus 2004 Springer Berlin Heidelberg
• Randomized OBDDs and the model checking
  Karpiński, Marek 1998 Inst. für Informatik
• Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering
  Meinel, Christoph ; Stangier, Christian 1998 Univ., Mathematik/Informatik
• Construction and evolution of code generators – a model-driven and service-oriented approach
  Jörges, Sven 2013 Springer
• Verification, model checking, and abstract interpretation – 14th international conference ; proceedings
  Giacobazzi, Roberto ; Berdine, Josh ; Mastroeni, Isabella 2013 Springer
• Tools for practical software verification – LASER, international summer school 2011, Elba Island, Italy ; revised tutorial lectures
  Meyer, Bertrand ; Nordio, Martin 2012 Springer
• Model checking infinite state systems in CLP
  Delzanno, Giorgio ; Podelski, Andreas 1998 MPI Informatik, Bibliothek & Dokumentation
• Automated Verification of Dynamic Access Control Policies – Modelling and verifying dynamic access control policies using knowledge-based model checking
  Qunoo, Hasan N. 2012 LAP LAMBERT Academic Publishing
• Transactions on Computational Systems Biology XIV – Special Issue on Computational Models for Cell Processes
  2012 Springer Berlin Heidelberg
• Model checking based on Kronecker algebra
  Kemper, Peter ; Lübeck, Ralf 1998 Dekanat Informatik, Univ.
• Distributed computing and networking – 14th international conference ; proceedings
  Frey, Davide ; Raynal, Michel ; Sarkar, Saswati ; Shyamasundar, Rudrapatna K. ; Sinha, Prasun 2013 Springer
• Programming languages and systems – 10th Asian symposium ; proceedings
  Jhala, Ranjit ; Igarashi, Atsushi 2012 Springer
• Enhancing symbolic model checking by Ai techniques
  Buccafurri, Francesco 1997 IFIG