„Model-checking“

Suchergebnisse

1.904 Treffer

• Information Flow Security in Tree-Manipulating Processes – Verifying Safety Hyperproperties Using Abstract Interpretation and Model Checking
  Kovács, Máté 2014 Südwestdeutscher Verlag für Hochschulschriften
• Information flow security in tree-manipulating processes
  Kovács, Máté Amade
• From programs to systems – the systems perspective in computing ; proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I
  2014 Springer International Publishing
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V
  2014 Springer International Publishing
• Application and Theory of Petri Nets and Concurrency – 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings
  2014 Springer International Publishing
• Formal Methods for Executable Software Models – 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
  2014 Springer International Publishing
• Horizons of the Mind. A Tribute to Prakash Panangaden – Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
  2014 Springer International Publishing
• Engineering Secure Future Internet Services and Systems – Current Research
  2014 Springer International Publishing
• NASA Formal Methods – 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
  2014 Springer International Publishing
• FM 2014: Formal Methods – 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
  2014 Springer International Publishing
• Specification, Algebra, and Software – Essays Dedicated to Kokichi Futatsugi
  Iida, Shusaku ; Futatsugi, Kokichi ; Meseguer, José ; Ogata, Kazuhiro 2014 Springer International Publishing
• Specification, algebra, and software – essays dedicated to Kokichi Futatsugi
  Iida, Shusaku ; Futatsugi, Kokichi ; Meseguer, José ; Ogata, Kazuhiro 2014 Springer
• Programming Languages and Systems – 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
  Shan, Chung-chien 2013 Springer International Publishing
• Testing software and systems – 25th IFIP EG 6.1 international conference ; proceedings
  Yenigün, Hüsnü ; Yilmaz, Cemal ; Ulrich, Andreas 2013 Springer
• Simulation-Based Simplification of omega-Automata – Using Simulation Relations for the Simplification of Alternating and Parity Automata
  Fritz, Carsten 2013 VDM Verlag Dr. Müller
• Simulation-based simplification of omega-automata
  Fritz, Carsten
• Software engineering and formal methods – 11th international conference ; proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2013 Springer
• Formal methods for industrial critical systems – 18th international workshop ; proceedings
  Pecheur, Charles ; Dierkes, Michael 2013 Springer
• Frontiers of combining systems – 9th international symposium ; proceedings
  Fontaine, Pascal ; Ringeissen, Christophe ; Schmidt, Renate 2013 Springer