„Model-checking“

Suchergebnisse

1.904 Treffer

• Formal methods and software engineering – proceedings
  Groves, Lindsay 2013 Springer
• Model checking for a class of weighted automata
  Buchholz, Peter ; Kemper, Peter 2003 Dekanat Informatik, Univ.
• Analysis of semantic business process models – techniques supporting business process improvement and compliance checking
  Bergener, Philipp
• Tools and algorithms for the construction and analysis of systems – 9th international conference ; proceedings
  Garavel, Hubert 2003 Springer
• Automata logics, and infinite games – a guide to current research
  Grädel, Erich 2002 Springer
• Verification of reactive systems – formal methods and algorithms
  Schneider, Klaus 2004 Springer
• Formal methods in computer aided design – 4th international conference ; proceedings
  Aagaard, Mark 2002 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Formal techniques in real time and fault tolerant systems – 7th international symposium ; proceedings
  Damm, Werner 2002 Springer
• Abstraction, reformulation, and approximation – 5th international symposium ; proceedings
  Koenig, Sven 2002 Springer
• Process algebra and probabilistic methods – performance modeling and verification ; second joint international workshop ; proceedings
  Hermanns, Holger 2002 Springer
• Verification, model checking, and abstract interpretation – third international workshop ; revised papers
  Cortesi, Agostino 2002 Springer
• Model checking software – proceedings
  Bošnački, Dragan 2002 Springer
• Tools and algorithms for the construction and analysis of systems – 8th international conference ; proceedings
  Katoen, Joost-Pieter 2002 Springer
• The quantitative µ-calculus
  Fischer, Diana
• Expressing and verifying temporal and structural properties of mobile agents
  Bednarczyk, Marek A. ; Jamroga, Wojciech ; Pawłowski, Wiesław 2005 Technische Universität Clausthal
• Model checking abilities of agents: a closer look
  Jamroga, Wojciech ; Dix, Jürgen 2006 Technische Universität Clausthal
• Model checking abilities under incomplete information is indeed Delta2-complete
  Jamroga, Wojciech ; Dix, Jürgen 2006 Technische Universität Clausthal
• Theoretical aspects of computing – 10th international colloquium ; proceedings
  Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer
• Concurrency theory – 24th international conference ; proceedings
  D'Argenio, Pedro R. ; Melgratti, Hernan 2013 Springer