„Model-checking“

Suchergebnisse

1.904 Treffer

• Solving scheduling problems by untimed model checking – The clinical chemical analyser case study
  Wijs, Anton J. ; Pol, Jaco C. van de ; Bortnik, Elena M.
• Resampling methods for checking models and statistical hypotheses – 31.08. - 06.09.2003
  2003 Math. Forschungsinst.
• The parameterized space complexity of model-checking bounded variable first-order logic
  Chen, Yijia ; Elberfeld, Michael ; Müller, Moritz 2017 Universitätsbibliothek der RWTH Aachen
• Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic
  Gnatenko, A. R. ; Zakharov, V. A.
• Autotuning Parallel Programs by Model Checking
  Garanina, N. O. ; Gorlatch, S. P.
• Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method
  Ghaedi Heidari, Saeedeh ; Ajoudanian, Shohreh
• Towards better heuristics for solving bounded model checking problems
  Kheireddine, Anissa ; Renault, Etienne ; Baarir, Souheib
• Verification of Plastic Interactive Systems
  Oliveira, Raquel ; Dupuy-Chessa, Sophie ; Calvary, Gaëlle
• Enhancements in formal process description by using a formal method
  Xin, Cheng ; Grunau, Lukas ; Thron, Mario ; Riedl, Matthias
• Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior
  Ermel, Claudia ; Gall,  Jürgen ; Lambers, Leen ; Taentzer, Gabriele 2020 Technische Universität Berlin
• Faster Statistical Model Checking for Unbounded Temporal Properties
  Daca, Przemysław ; Henzinger, Thomas ; Křetínský, Jan ; Petrov, Tatjana 2017 Bibliothek der Universität Konstanz
• An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
  Leue, Stefan ; Ştefănescu, Alin ; Wei, Wei 2008 Bibliothek der Universität Konstanz
• Introductory paper – [zu: Special section on the algorithmics of software model checking]
  Dwyer, Matthew ; Leue, Stefan 2008 Bibliothek der Universität Konstanz
• Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
  Cabodi, G. ; Camurati, P. E. ; Palena, M. ; Pasini, P.
• Checking the performance of feed-forward and cascade artificial neural networks for modeling the surface tension of binary hydrocarbon mixtures
  Ojaki, Hamed Amouei ; Lashkarbolooki, Mostafa ; Movagharnejad, Kamyar
• Automated technology for verification and analysis – 7th international symposium ; proceedings
  Liu, Zhiming 2009 Springer
• Automated technology for verification and analysis – 6th international symposium ; proceedings
  Cha, Sungdeok 2008 Springer
• Theoretical aspects of computing – 5th international colloquium ; proceedings
  Fitzgerald, John S. 2008 Springer
• 25 years of model checking – history, achievements, perspectives
  Grumberg, Orna 2008 Springer
• Theoretical aspects of computing – 4th international colloquium ; proceedings
  Jones, Cliff B. 2007 Springer