„Model-checking“

Suchergebnisse

1.904 Treffer

• Twin-Width and Types
  Gajarský, Jakub ; Pilipczuk, Michał ; Przybyszewski, Wojciech ; Toruńczyk, Szymon 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ProFeat: feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel
• Stateless model checking for TSO and PSO
  Abdulla, Parosh Aziz ; Aronis, Stavros ; Atig, Mohamed Faouzi ; Jonsson, Bengt ; Leonardsson, Carl ; Sagonas, Kostis
• Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI
  Antoni, Sven-Thomas ; Lehmann, Sascha ; Neidhardt, Maximilian ; Fehrs, Kai ; Ruprecht, Christian ; Kording, Fabian ; Adam, Gerhard ; Schupp, Sibylle ; Schlaefer, Alexander
• Tools and Algorithms for the Construction and Analysis of Systems – 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• Distributed parametric model checking timed automata under non-Zenoness assumption
  André, Étienne ; Nguyen, Hoang Gia ; Petrucci, Laure ; Sun, Jun
• Algebra and coalgebra in computer science – 5th international conference ; proceedings
  Heckel, Reiko ; Milius, Stefan 2013 Springer
• Model checking of security-critical applications in a model-driven approach
  Borek, Marian ; Moebius, Nina ; Stenzel, Kurt ; Reif, Wolfgang ; Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2013 Universität Augsburg
• Abstracting security-critical applications for model checking in a model-driven approach
  Borek, Marian ; Stenzel, Kurt ; Katkalov, Kuzman ; Reif, Wolfgang 2015 Universität Augsburg
• Verification of medical guidelines by model checking - a case study
  Bäumler, Simon ; Balser, Michael ; Dunets, Andriy ; Reif, Wolfgang ; Schmitt, Jonathan ; Valmari, Antti 2006 Universität Augsburg
• Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging
  Zheng, Zixia ; Tian, Jin ; Zhao, Tingdi
• Local model checking in Park's μ-calculus [my-calculus]
  Kick, Alexander 1995 Univ., Fak. für Informatik
• Parameter Checking Method of Large Scale Particle Model
  Peng, Chao ; Liu, Wanrong ; Wang, Zhen
• Formula dependent model reduction through elimination of invisible transitions for checking fragments of CTL
  Kick, Alexander 1995 Univ., Fak. für Informatik
• Finite model checking and beyond
  Steffen, Bernhard 1995 Univ., Fak. für Mathematik und Informatik
• A case study on different modelling approaches based on model checking – verifying numerous versions of the alternating bit protocol with SMV
  Biere, Armin ; Kick, Alexander 1995 Univ., Fak. für Informatik
• Advanced Automation in Formal Verification of Processors
  Kühne, Ulrich 2009 Shaker
• Information Exchange in Software Verification (Dagstuhl Seminar 25172)
  Beyer, Dirk ; Huisman, Marieke ; Strejček, Jan ; Wehrheim, Heike
• Accurate binary-level symbolic execution of embedded firmware
  Tempel, Sören ; Drechsler, Rolf ; Baccelli, Emmanuel 2024 Staats- und Universitätsbibliothek Bremen
• Modelling, verification and test of high-level robotic plans – Modellierung, Verifikation und Test von abstrakten robotischen Plänen
  Meywerk, Tim ; Drechsler, Rolf ; Beetz, Michael 2023 Staats- und Universitätsbibliothek Bremen