„Model-checking“

Suchergebnisse

1.904 Treffer

• Languages, methodologies and development tools for multi-agent systems – third international workshop ; revised selected papers
  Dastani, Mehdi ; Fallah Seghrouchni, Amal El ; Hübner, Jomi ; Leite, João 2011 Springer
• Model checking software – proceedings/ 18th International SPIN Workshop, Snowbird, UT, USA, July 14 - 15, 2011. Alex Groce ; Madanlal Musuvathi (ed.)
  Groce, Alex ; Musuvathi, Madanlal 2011 Springer
• Causality checking for complex system models
  Leitner-Fischer, Florian ; Leue, Stefan 2012 Bibliothek der Universität Konstanz
• Computer aided verification – 23rd international conference ; proceedings
  Gopalakrishnan, Ganesh ; Qadeer, Shaz 2011 Springer
• Applications and theory of Petri nets – 32nd international conference ; proceedings
  Kristensen, Lars M. ; Petrucci, Laure 2011 Springer
• Modelling and verifying abilities of rational agents
  Bulling, Nils 2010 Papierflieger-Verl.
• Tests and proofs – 5th international conference ; proceedings
  Gogolla, Martin ; Wolff, Burkhart 2011 Springer
• Assumption-based distribution of CTL model checking
  Brim, Lubǒs ; Yorav, Karen ; Žídková, Jitka
• Issues in distributed timed model checking – Building Zeus
  Braberman, Víctor ; Olivero, Alfredo ; Schapachnik, Fernando
• Sequential and distributed model checking of Petri nets
  Bell, Alexander ; Haverkort, Boudewijn R.
• Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure
  Li, Bing ; Wang, Chao ; Somenzi, Fabio
• Computational challenges in bounded model checking
  Clarke, Edmund ; Kroening, Daniel ; Ouaknine, Joe͏̈l ; Strichman, Ofer
• Formal techniques for distributed systems – joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
  Bruni, Roberto ; Dingel, Juergen 2011 Springer
• Automated test generation using model checking: an industrial evaluation
  Enoiu, Eduard P. ; Čaušević, Adnan ; Ostrand, Thomas J. ; Weyuker, Elaine J. ; Sundmark, Daniel ; Pettersson, Paul
• Declarative agent languages and technologies VIII – 8th international workshop ; revised selected and invited papers
  Omicini, Andrea ; Sardina, Sebastian ; Vasconcelos, Wamberto 2011 Springer
• Model checking and artificial intelligence – 6th international workshop ; revised selected and invited papers
  Van der Meyden, Ron ; Smaus, Jan 2011 Springer
• The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
  Leitner-Fischer, Florian ; Leue, Stefan 2011 Bibliothek der Universität Konstanz
• Model checking Petri nets with names using data-centric dynamic systems
  Montali, Marco ; Rivkin, Andrey
• Mining and Checking Object Behavior – Efficient Mining of Object Behavior Models
  Dallmeier, Valentin 2011 Suedwestdeutscher Verlag fuer Hochschulschriften
• Verifikation von ausführbaren Systemspezifikationen – Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen
  Pacholik, Alexander 2011 Suedwestdeutscher Verlag fuer Hochschulschriften