„Model-checking“

Suchergebnisse

1.904 Treffer

• Software engineering and formal methods – 9th international conference ; proceedings
  Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo 2011 Springer
• Static Analysis – 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
  Yahav, Eran 2011 Springer Berlin Heidelberg
• Testing software and systems – 23rd IFIP WG 6.1 international conference ; proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer
• Formal methods for industrial critical systems – 16th international workshop ; proceedings
  Salaün, Gwen ; Schätz, Bernhard 2011 Springer
• Formal modeling and analysis of timed systems – 9th international conference ; proceedings
  Fahrenberg, Uli ; Tripakis, Stavros 2011 Springer
• Computer safety, reliability, and security – 30th international conference ; proceedings
  Flammini, Francesco ; Bologna, Sandro ; Vittorini, Valeria 2011 Springer
• Bounded model checking for fixed-point digital filters
  Abreu, Renato B. ; Gadelha, Mikhail Y. R. ; Cordeiro, Lucas C. ; de Lima Filho, Eddie B. ; da Silva, Waldir S.
• Symbolic Model Checking
  1993 Springer US
• Learning deterministic probabilistic automata from a model checking perspective
  Mao, Hua ; Chen, Yingke ; Jaeger, Manfred ; Nielsen, Thomas D. ; Larsen, Kim G. ; Nielsen, Brian
• Static analysis – 18th international symposium ; proceedings
  Yahav, Eran 2011 Springer
• Symmetry reductions for model checking of concurrent dynamic software
  Iosif, Radu
• Heuristics for model checking Java programs
  Groce, Alex ; Visser, Willem
• Boolean and Cartesian abstraction for model checking C programs
  Ball, Thomas ; Podelski, Andreas ; Rajamani, Sriram K.
• A logical encoding of the π-calculus: model checking mobile processes using tabled resolution
  Yang, Ping ; Ramakrishnan, C.R ; Smolka, Scott A.
• Test sequence generation and model checking using dynamic transition relations
  Campos, Sérgio ; Grumberg, Orna ; Yorav, Karen ; Fady, Copty
• Model Checking – Grundlagen und Praxiserfahrungen
  Buschermöhle, Ralf ; Brörkens, Mark ; Brückner, Ingo ; Damm, Werner ; Hasselbring, Wilhelm ; Josko, Bernhard ; Schulte, Christoph ; Wolf, Thomas
• Concurrency theory – 22nd international conference ; proceedings
  Katoen, Joost-Pieter ; König, Barbara 2011 Springer
• Bekannte Unbekannte – formale Methoden in Anwesenheit unbekannter Werte
  Reimer, Sven 2015 Der Andere Verlag
• Component-wise incremental LTL model checking
  Molnár, Vince ; Vörös, András ; Darvas, Dániel ; Bartha, Tamás ; Majzik, István
• Logic and games on automatic structures – playing with quantifiers and decompositions
  Kaiser, Łukasz 2011 Springer