„Software model checking“

Suchergebnisse

732 Treffer

• Handling loops in bounded model checking of C programs via k-induction
  Gadelha, Mikhail Y. R. ; Ismail, Hussama I. ; Cordeiro, Lucas C.
• Model checking of state-rich formalism by linking to $$CSP\,\Vert \,B$$ C S P ‖ B
  Ye, Kangfeng ; Woodcock, Jim
• Counter-example generation in symbolic abstract model-checking
  Pace, Gordon ; Halbwachs, Nicolas ; Raymond, Pascal
• αSPIN: A tool for abstract model checking
  del Mar Gallardo, María ; MARTINEZ, JESUS ; Merino, Pedro ; Pimentel, Ernesto
• Automated formal verification of visual modeling languages by model checking
  Varró, Dániel
• Scalable Bit-precise Formal Verification of Embedded Software
  He, Nannan 2016 LAP LAMBERT Academic Publishing
• Model-checking iterated games
  Huang, Chung-Hao ; Schewe, Sven ; Wang, Farn
• SMT-based model checking for recursive programs
  Komuravelli, Anvesh ; Gurfinkel, Arie ; Chaki, Sagar
• Towards automated software model checking using graph transformation systems and Bogor
  Rafe, Vahid ; Rahmani, Adel T.
• Parameterized model checking for security policy analysis
  Ranise, Silvio ; Truong, Anh ; Traverso, Riccardo
• Realization of Lima – Realization of LIMA and Implementation of a Translator for C
  Kastmann, Vanessa 2016 AV Akademikerverlag
• Explicit state model checking in the development process for interlocking software systems
  Biechele, Peter ; Leue, Stefan 2013 Bibliothek der Universität Konstanz