„Bounded Model Checking“

Suchergebnisse

86 Treffer

• Verification of software for Contiki-based low-power embedded systems using software model checking
  Vörtler, Thilo ; Hofstedt, Petra ; Vierhaus, Heinrich Theodor 2018 BTU Cottbus - Senftenberg
• BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
  Mȩski, Artur ; Penczek, Wojciech ; Szreter, Maciej ; Woźna-Szcześniak, Bożena ; Zbrzezny, Andrzej
• Automated Validation and Verification of Railway Specific Components and Systems
  Kinder, Sebastian 2008 Shaker
• Automated validation and verification of railway specific components and systems
  Kinder, Sebastian 2008 Shaker
• Advanced automation in formal verification of processors
  Kühne, Ulrich 2009 Shaker
• Model checking of bounded Petri nets using interval diagrams
  Tovtchigretchko, Alexej A. 2004 BTU, Inst. of Computer Science
• Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung
  Kupferschmid, Stefan 2013 Der Andere Verl.
• On the (un-)decidability of model checking resource-bounded agents
  Bulling, Nils ; Farwer, Berndt 2010 TU Clausthal, Institut für Informatik
• Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
  Woźna-Szcześniak, Bożena ; Zbrzezny, Andrzej
• Bounded model checking for fixed-point digital filters
  Abreu, Renato B. ; Gadelha, Mikhail Y. R. ; Cordeiro, Lucas C. ; de Lima Filho, Eddie B. ; da Silva, Waldir S.
• Bekannte Unbekannte – formale Methoden in Anwesenheit unbekannter Werte
  Reimer, Sven 2015 Der Andere Verlag
• Applications and theory of Petri nets – 32nd international conference ; proceedings
  Kristensen, Lars M. ; Petrucci, Laure 2011 Springer
• Computational challenges in bounded model checking
  Clarke, Edmund ; Kroening, Daniel ; Ouaknine, Joe͏̈l ; Strichman, Ofer
• 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
• 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
• Formal methods and software engineering – proceedings
  Dong, Jin Song ; Zhu, Huibiao 2010 Springer
• Verifikation unvollständiger Schaltkreise
  Nopper, Tobias Johannes 2015 Der Andere Verlag
• Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
  Tovchigrechko, Alexey A.
• System-on-chip protocol compliance verification using interval property checking – = Verifikation von System-on-chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
  Nguyen, Duc-Minh
• Modeling the unknown using quantification
  Miller, Christian 2014 Der Andere Verl.