„Model-checking“

Suchergebnisse

1.904 Treffer

• Formal methods in computer aided design – second international conference ; proceedings
  Gopalakrishnan, Ganesh 2002 Springer
• Formal techniques in real time and fault tolerant systems – 5th international symposium ; proceedings
  Ravn, Anders P. 1999 Springer
• Compositionality – the significant difference ; international symposium ; revised lectures
  Roever, Willem-Paul ˜deœ 1999 Springer
• Theoretical and practical aspects of SPIN model checking – proceedings
  Dams, Dennis 1999 Springer
• Model checking software – proceedings
  Dwyer, Matthew 2001 Springer
• Modeling and verification of parallel processes – 4th summer school ; revised tutorial lectures
  Cassez, Franck 2001 Springer
• Perspectives of system informatics – proceedings
  Bjørner, Dines 2000 Springer
• Static analysis – 8th international symposium ; proceedings
  Cousot, Patrick 2001 Springer
• Correct hardware design and verification methods – 11th IFIP WG 10.5 advanced research working conference ; proceedings
  Margaria, Tiziana 2001 Springer
• Process algebra and probabilistic methods – performance modeling and verification ; joint international workshop ; proceedings
  DeAlfaro, Luca 2001 Springer
• Formal techniques in real time and fault tolerant systems – 6th international symposium ; proceedings
  Joseph, Mathai 2002 Springer
• Tools and algorithms for the construction and analysis of systems – 8th international conference ; proceedings
  Katoen, Joost-Pieter 2002 Springer
• Verification, model checking, and abstract interpretation – third international workshop ; revised papers
  Cortesi, Agostino 2002 Springer
• Integrating Loop Acceleration Into Bounded Model Checking
  Frohn, Florian ; Giesl, Jürgen 2024 Universitätsbibliothek der RWTH Aachen
• Developing rule-based model checking for verifying energy properties of windows – Promoting sustainable construction practices
  Riyaz, Janees ; Emara, Merna 2024 Technische Universität Hamburg. Universitätsbibliothek
• Semi-automated assessment in fundamental BIM pedagogy for large cohorts
  Wu, Jiabin ; Esser, Sebastian ; Forth, Kasimir ; Kairlapova, Ainur ; Gerstner, Julian 2024 Technische Universität Hamburg. Universitätsbibliothek
• Ensuring Compliance in Construction: A Deep Dive into BIM Model Checking and Automated Code Verification
  Ammar, Mohamed Helmy ; Emara, Merna 2024 Technische Universität Hamburg. Universitätsbibliothek
• Towards Real-World Fact-Checking with Large Language Models
  Gurevych, Iryna 2024 Universitäts- und Landesbibliothek
• Sliced online model checking for optimizing the beam scheduling problem in robotic radiation therapy
  Beckers, Lars ; Gerlach, Stefan ; Lübke, Ole ; Schlaefer, Alexander ; Schupp, Sibylle 2024 Technische Universität Hamburg. Universitätsbibliothek
• Model-Based Test Case Generation for Compliance Checking of Reactive Asset Administration Shells
  Otto, Björn ; Meinecke, Karsten ; Kleinert, Tobias 2022 Universitätsbibliothek der RWTH Aachen