„Model-checking“

Suchergebnisse

1.904 Treffer

• Model checking with logic based petri nets
  Behrens, Tristan M. ; Dix, Jürgen 2007 TU Clausthal, Institut für Informatik
• LTL model checking with logic based petri nets
  Behrens, Tristan M. ; Dix, Jürgen 2007 TU Clausthal, Institut für Informatik
• Model checking rational play
  Jamroga, Wojciech ; Bulling, Nils 2007 TU Clausthal, Institut für Informatik
• Knowledge and strategic ability for model checking: a refined approach
  Jamroga, Wojciech 2007 TU Clausthal, Institut für Informatik
• Model checking ATL+ is harder than it seemed
  Bulling, Nils ; Jamroga, Wojciech 2009 TU Clausthal, Institut für Informatik
• Abstraction for model checking modular interpreted systems over ATL
  Köster, Michael ; Lohmann, Peter 2010 TU Clausthal, Institut für Informatik
• On the (un-)decidability of model checking resource-bounded agents
  Bulling, Nils ; Farwer, Berndt 2010 TU Clausthal, Institut für Informatik
• Model checking coalition logic on implicit models is Delta3-complete
  Bulling, Nils 2010 TU Clausthal, Institut für Informatik
• Modeling and verification of parallel processes – 4th summer school ; revised tutorial lectures
  Cassez, Franck 2001 Springer
• Reachability analysis of multithreaded software with asynchronous communication
  Bouajjani, Ahmed ; Esparza, Javier ; Schwoon, Stefan ; Strejcek, Jan 2005 Universitätsbibliothek der Universität Stuttgart
• Model checking hierarchical structures
  Lohrey, Markus 2005 Universitätsbibliothek der Universität Stuttgart
• Correct hardware design and verification methods – 11th IFIP WG 10.5 advanced research working conference ; proceedings
  Margaria, Tiziana 2001 Springer
• Formal Semantics and Verification Of Use Case Maps – An early stages Validation and Verification Approach
  Hassine, Jameleddine 2013 Scholar's Press
• Computational science and its applications
  2013 Springer
• Computational science and its applications
  2013 Springer
• Computational science and its applications
  2013 Springer
• Computational science and its applications
  2013 Springer
• Computational science and its applications
  2013 Springer
• Static analysis – 8th international symposium ; proceedings
  Cousot, Patrick 2001 Springer
• Model checking software – proceedings
  Dwyer, Matthew 2001 Springer