„Model-checking“

Suchergebnisse

1.904 Treffer

• Scalable distributed on-the-fly symbolic model checking
  Ben-David, Shoham ; Grumberg, Orna ; Heyman, Tamir ; Schuster, Assaf
• Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking
  Dong, Yifei ; Du, Xiaoqun ; Holzmann, Gerard J. ; Smolka, Scott A.
• An improved method of k-induction combined with predicate abstraction and CEGAR for software model checking
  Wang, Shun ; Du, Ye ; Han, Zhen
• Integrating river basin DSSs with model checking
  Gallardo, María del Mar ; Merino, Pedro ; Panizo, Laura ; Salmerón, Alberto
• Symbolic model checking for discrete real-time systems
  Luo, Xiangyu ; Wu, Lijun ; Chen, Qingliang ; Li, Haibo ; Zheng, Lixiao ; Chen, Zuxi
• Multi-Project Capability in Checking Software Models
  Dörr, Heiko ; Trögel, Anna ; Weinberg, Daniela
• Spatio-temporal model checking of vehicular movement in public transport systems
  Ciancia, Vincenzo ; Gilmore, Stephen ; Grilletti, Gianluca ; Latella, Diego ; Loreti, Michele ; Massink, Mieke
• An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems
  Cai, Haibin ; Wu, Hao
• Efficient Decision Procedures for Validation – Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
  Strichman, Ofer 2010 LAP LAMBERT Academic Publishing
• Lectures on Runtime Verification – Introductory and Advanced Topics
  Bartocci, Ezio ; Falcone, Yliès 2018 Springer Berlin Heidelberg
• 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
• Model checking driven static analysis for the real world: designing and tuning large scale bug detection
  Fehnker, Ansgar ; Huuck, Ralf
• Modelling Memory Consistency Models for Formal Verification
  Senftleben, Maximilian ; Schneider, Klaus 2019 Technische Universität Kaiserslautern
• 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
• Refining Model Checking by Abstract Interpretation
  Cousot, Patrick ; Cousot, Radhia
• Pragmatics of model checking: an STTT special section
  Cleaveland, Rance
• Model checking with generalized Rabin and Fin-less automata
  Bloemen, Vincent ; Duret-Lutz, Alexandre ; Pol, Jaco van de
• A metamodel and model-based design rule checking DSL for verification and validation of electronic circuit designs
  Rumpold, Adrian ; Bauer, Bernhard ; Hammoudi, Slimane ; Ferreira Pires, Luis ; Selić, Bran 2019 Universität Augsburg
• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
  Chen, Taolue ; Han, Tingting ; Katoen, Joost-Pieter ; Mereacre, Alexandru 2011 Universitätsbibliothek der RWTH Aachen
• Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
  Fischer, Diana ; Kaiser, Lukasz 2012 Universitätsbibliothek der RWTH Aachen