„Software model checking“

Suchergebnisse

1.000+ Treffer

• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Model checking multi-level and recursive nets
  Fernández Venero, Mirtha Lina ; Corrêa da Silva, Flávio Soares
• Inference on population history and model checking using DNA sequence and microsatellite data with the software DIYABC (v1.0)
  Cornuet, Jean-Marie ; Ravigné, Virgine ; Estoup, Arnaud
• Optimal spare management via statistical model checking: a case study in research reactors
  Soltani, Reza ; Volk, Matthias ; Diamonte, Leonardo ; Lopuhaä-Zwakenberg, Milan ; Stoelinga, Mariëlle
• Verifying safety of synchronous fault-tolerant algorithms by bounded model checking
  Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian
• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
  Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary
• Another Look at LTL Model Checking
  Clarke, Edmund M. ; Grumberg, Orna ; Hamaguchi, Kiyoharu
• 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 I
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• Theory and practice of computer science – proceedings
  Černá, Ivana ; Gyimóthy, Tibor ; Hromkovič, Juraj ; Jefferey, Keith ; Kralovic, Rastislav ; Vukolic, Marko ; Wolf, Stefan 2011 Springer
• Theoretical aspects of computing – 6th international colloquium ; proceedings
  Leucker, Martin 2009 Springer
• Integrated formal methods – 7th international conference ; proceedings
  Leuschel, Michael 2009 Springer
• Model checking parameterized asynchronous shared-memory systems
  Durand-Gasselin, Antoine ; Esparza, Javier ; Ganty, Pierre ; Majumdar, Rupak
• Formally Verified Solution Methods for Markov Decision Processes
  Schäffeler, Maximilian ; Nipkow, Tobias ; Kretinsky, Jan 2025 Universitätsbibliothek der TU München
• Inductive Predicate Synthesis Modulo Programs
  Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program model checking as a new trend
  Havelund, Klaus ; Visser, Willem
• Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
  O'Regan, Gerard 2017 Springer International Publishing
• Checking security compliance between models and code
  Tuma, Katja ; Peldszus, Sven Matthias ; Strüber, Daniel ; Scandariato, Riccardo ; Jürjens, Jan
• Efficient model-checking of weighted CTL with upper-bound constraints
  Jensen, Jonas Finnemann ; Larsen, Kim Guldstrand ; Srba, Jiří ; Oestergaard, Lars Kaerlund
• Stateless model checking for TSO and PSO
  Abdulla, Parosh Aziz ; Aronis, Stavros ; Atig, Mohamed Faouzi ; Jonsson, Bengt ; Leonardsson, Carl ; Sagonas, Kostis