„Model-checking“

Suchergebnisse

1.904 Treffer

• To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking
  Cabodi, G. ; Camurati, P. E. ; Loiacono, C. ; Palena, M. ; Pasini, P. ; Patti, D. ; Quer, S.
• Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems
  Rivera Torres, Pedro J. ; Serrano Mercado, Eileen I. ; Anido Rifón, Luis
• Software model checking for resources race
  Wang, Hong ; Zhang, Tao
• 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
• Dynamic Adaptability: Assessment, Analysis and Validation
  Mishra, Arun ; Kumar Misra, Arun 2017 LAP LAMBERT Academic Publishing
• Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
  Appold, Christian 2015
• Sûreté des systèmes matériels – Vérification formelle, compositionnelle et automatique de systèmes de composants
  Ayache, Nicolas 2017 Presses Académiques Francophones
• Combining techniques of bounded model checking and constraint programming to aid for error localization
  Bekkouche, Mohammed
• Model checking concurrent systems with MSVL
  Zhang, Nan ; Duan, Zhenhua ; Tian, Cong
• 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
• Automated coverage-driven testing: combining symbolic execution and model checking
  Su, Ting ; Pu, Geguang ; Miao, Weikai ; He, Jifeng ; Su, Zhendong
• 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
• Quantitative Safety Analysis of UML Models
  Leitner-Fischer, Florian 2010 Bibliothek der Universität Konstanz