„Model-checking“

Suchergebnisse

1.904 Treffer

• Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
  Gieseking, Manuel ; Olderog, Ernst-Rüdiger ; Finkbeiner, Bernd 2022 BIS der Universität Oldenburg
• A model-based approach for the specification and refinement of streaming applications
  Zebelein, Christian ; Haubelt, Christian ; Teich, Jürgen ; Basten, Twan 2015 Universität Rostock
• Tableau-based model checking in the propositional mu-calculus
  Cleaveland, Rance
• Improving explicit model checking for Petri nets
  Liebke, Torsten ; Wolf, Karsten ; Srba, Jiri 2020 Universität Rostock
• A generalized semantics of PROMELA for abstract model checking
  Gallardo, María del Mar ; Merino, Pedro ; Pimentel, Ernesto
• Model-checking dense-time Duration Calculus
  Fränzle, Martin
• Comparing model checking and logical reasoning for real-time systems
  Dierks, Henning
• Analyzing neural network behavior through deep statistical model checking
  Gros, Timo P. ; Hermanns, Holger ; Hoffmann, Jörg ; Klauck, Michaela ; Steinmetz, Marcel 2022 Saarländische Universitäts- und Landesbibliothek
• Data perspective in business process management – the role of data for process modeling, analysis, and execution
  Meyer, Andreas ; Weske, Mathias 2015 Universität Potsdam
• Ontology-Mediated Probabilistic Model Checking – Extended Version
  Dubslaff, Clemens ; Koopmann, Patrick ; Turhan, Anni-Yasmin 2022 Technische Universität Dresden
• Verification of Communication Protocols in Web Services – Model-Checking Service Compositions
  Sakib, Kazi ; Tari, Zahir ; Bertók, Péter 2013 John Wiley & Sons
• Fundamental approaches to software engineering – 16th international conference ; proceedings
  Cortellessa, Vittorio ; Varró, Dániel 2013 Springer
• Mathematical and engineering methods in computer science – 8th international doctoral workshop ; revised selected papers
  Kučera, Antonín ; Henzinger, Thomas ; Nešetril, Jaroslav ; Vojnar, Tomas ; Antoš, David 2013 Springer
• Generalized Model-Checking over Locally Tree-Decomposable Classes
  Frick, Markus
• Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints
  Choi, Yunja ; Rayadurgam, Sanjai ; Heimdahl, Mats P.E
• Practical CTL* model checking: Should SPIN be extended?
  Visser, Willem ; Barringer, Howard
• Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
  Millett, Lynette I. ; Teitelbaum, Tim
• Generating test case specifications of web service composition using model checking
  Qian, Ling-li ; Chen, Yi-hai
• Model-checking user behaviour using interacting components
  Basuki, Thomas Anung ; Cerone, Antonio ; Griesmayer, Andreas ; Schlatte, Rudolf
• Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
  Schneider, Sven ; Maximova, Maria ; Giese, Holger 2022 Universität Potsdam