„Model-checking“

Suchergebnisse

1.904 Treffer

• Tools and algorithms for the construction and analysis of systems – 11th international conference ; proceedings
  Halbwachs, Nicolas 2005 Springer
• Model-checking infinite state systems for information flow security
  K. R., Raghavendra 2014 LAP LAMBERT Academic Publishing
• Formal techniques for distributed objects, components, and systems – 34th IFIP WG 6.1 international conference ; proceedings
  Ábrahám, Erika ; Palamidessi, Catuscia 2014 Springer
• Formal approaches to software testing – 4th international workshop ; revised selected papers
  Grabowski, Jens 2005 Springer
• Verification, model checking, and abstract interpretation – 6th international conference ; proceedings
  Cousot, Radhia 2005 Springer
• Construction and analysis of safe, secure, and interoperable smart devices – international workshop ; revised selected papers
  Barthe, Gilles 2005 Springer
• Model checking with abstraction refinement for well-structured systems
  Dimitrova, Rayana 2007 Saarländische Universitäts- und Landesbibliothek
• Formal methods for real-time requirements engineering
  Rock, Georg
• Tools and algorithms for the construction and analysis of systems – 20th international conference ; proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer
• Fundamental approaches to software engineering – 17th international conference ; proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer
• Structured Object-Oriented Formal Language and Method – Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
  2014 Springer International Publishing
• Specification, modelling, verification and runtime analysis of real time systems
  Logothetis, Georgios 2004 Aka
• Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung
  Kupferschmid, Stefan 2013 Der Andere Verl.
• Software model checking of liveness properties via transition invariants
  Podelski, Andreas ; Rybalchenko, Andrey 2003 MPI Informatik, Bibliothek & Dokumentation
• Technologies for engineering manufacturing systems control in closed loop
  Preuße, Sebastian 2013 Logos-Verl.
• Model checking based data retrieval – an application to semistructured and temporal data
  Quintarelli, Elisa 2004 Springer
• Verification, model checking, and abstract interpretation – 15th international conference ; proceedings
  McMillan, Kenneth L. ; Rival, Xavier 2014 Springer
• A property checking methodology for weakly programmable system-on-chip IPs – = Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs
  Loitz, Sacha 2014 Shaker
• Model checking problems as a basis for parameterized intractability
  Flum, Jörg ; Grohe, Martin 2003 Math. Inst.
• User-level workflow design – a bioinformatics perspective
  Lamprecht, Anna-Lena 2013 Springer