„Model-checking“

Suchergebnisse

1.904 Treffer

• Systems and software verification – model checking techniques and tools
  Bérard, Béatrice 2001 Springer
• A system-theoretic safety engineering approach for software-intensive systems
  Abdulkhaleq, Asim 2017 Cuvillier Verlag
• Reachability analysis and refinement checking for BDD based model checking of timed automata
  Beyer, Dirk 2001 BTU, Inst. of Computer Science
• Structured object-oriented formal language and method – second international workshop ; revised selected papers
  Liu, Shaoying 2013 Springer
• Implementation and application of automata – 18th international conference ; proceedings
  Konstantinidis, Stavros 2013 Springer
• Model checking software – 20th international symposium ; proceedings
  Bartocci, Ezio ; Ramakrishnan, C. R. 2013 Springer
• Tests and proofs – 7th international conference ; proceedings
  Veanes, Margus ; Viganò, Luca 2013 Springer
• Embedded systems: design, analysis and verification – proceedings
  Schirner, Gunar ; Götz, Marcelo ; Rettberg, Achim ; Zanella, Mauro C. ; Rammig, Franz Josef 2013 Springer
• Application and theory of petri nets and concurrency – 34th international conference ; proceedings
  Colom, José-Manuel ; Desel, Jörg 2013 Springer
• Formal techniques for distributed systems – proceedings
  Beyer, Dirk ; Boreale, Michele 2013 Springer
• Automated deduction – proceedings
  Bonacina, Maria Paola 2013 Springer
• Concurrency, Compositionality, and Correctness – Essays in Honor of Willem-Paul de Roever
  Dams, Dennis ; Roever, Willem-Paul ˜deœ 2010 Springer Berlin Heidelberg
• NASA formal methods – 5th international symposium ; proceedings
  Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer
• Compositional stability verification of hybrid systems
  Mitrohin, Corina 2013 Shaker
• Speeding up symbolic model checking by accelerating dynamic variable reordering
  Meinel, Christoph ; Stangier, Christian 1999 Univ., FB IV Informatik
• Sicherheitsanalyse von Authentifizierungsprotokollen - model checking mit dem SH-verification Tool
  Basak, Gülüm 1999 GMD-Forschungszentrum Informationstechnik
• Systems and Software Verification – Model-Checking Techniques and Tools
  Bérard, Béatrice 2001 Springer Berlin Heidelberg
• Perspectives of system informatics – proceedings
  Bjørner, Dines 2000 Springer
• A deductive model checking approach for hybrid systems
  Nonnengart, Andreas 1999 Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
• Programming languages and systems – proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer