„Software model checking“

Suchergebnisse

732 Treffer

• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• 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
• 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
• Testing software and systems – 25th IFIP EG 6.1 international conference ; proceedings
  Yenigün, Hüsnü ; Yilmaz, Cemal ; Ulrich, Andreas 2013 Springer
• 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
• Formal methods: foundations and applications – 16th Brazilian symposium ; proceedings
  Iyoda, Juliano ; Moura, Leonardo de 2013 Springer
• Fundamentals of software engineering – 5th international conference ; revised selected papers
  Arbab, Farhad ; Sirjani, Marjan 2013 Springer
• Algebra and Coalgebra in Computer Science – 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Transactions on Petri Nets and Other Models of Concurrency VIII
  2013 Springer Berlin Heidelberg
• Hardware and software: verification and testing – revised selected papers
  Biere, Armin ; Nahir, Amir ; Vos, Tanja 2013 Springer
• Formal methods and software engineering – proceedings
  Davies, Jim 2004 Springer