„Model-checking“

Suchergebnisse

1.904 Treffer

• Computer Safety, Reliability, and Security – 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
  Flammini, Francesco ; Bologna, Sandro ; Vittorini, Valeria 2011 Springer Berlin Heidelberg
• Formal Methods for Industrial Critical Systems – 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  Salaün, Gwen ; Schätz, Bernhard 2011 Springer Berlin Heidelberg
• Model Checking Software – 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
  Groce, Alex ; Musuvathi, Madanlal 2011 Springer Berlin Heidelberg
• Computer Aided Verification – 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  Gopalakrishnan, Ganesh ; Qadeer, Shaz 2011 Springer Berlin Heidelberg
• Applications and Theory of Petri Nets – 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
  Kristensen, Lars M. ; Petrucci, Laure 2011 Springer Berlin Heidelberg
• Tests and Proofs – 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
  Gogolla, Martin ; Wolff, Burkhart 2011 Springer Berlin Heidelberg
• Formal Techniques for Distributed Systems – Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  Bruni, Roberto ; Dingel, Juergen 2011 Springer Berlin Heidelberg
• Model Checking and Artificial Intelligence – 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
  Van der Meyden, Ron ; Smaus, Jan 2011 Springer Berlin Heidelberg
• Declarative Agent Languages and Technologies VIII – 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
  Omicini, Andrea ; Sardina, Sebastian ; Vasconcelos, Wamberto 2011 Springer Berlin Heidelberg
• Formal Methods: Foundations and Applications – 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  Davies, Jim ; Silva, Leila ; Simão, Adenilso 2011 Springer Berlin Heidelberg
• Programming Languages and Systems – 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Yang, Hongseok 2011 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer Berlin Heidelberg
• Foundations of Software Science and Computational Structures – 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Hofmann, Martin 2011 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
  Kuncak, Viktor ; Rybalchenko, Andrey 2011 Springer Berlin Heidelberg
• Foundations of Software Science and Computational Structures – 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  Sassone, Vladimiro 2005 Springer Berlin Heidelberg
• Automated Technology for Verification and Analysis – Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
  Wang, Farn 2004 Springer Berlin Heidelberg
• Distributed Computing and Networking – 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings
  Aguilera, Marcos K. ; Yu, Haifeng ; Vaidya, Nitin H. ; Srinivasan, Vikram ; Choudhury, Romit Roy 2011 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
  Jhala, Ranjit ; Schmidt, David 2005 Springer Berlin Heidelberg
• Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  Barthe, Gilles 2010 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
  Qin, Shengchao ; Qiu, Zongyan 2010 Springer Berlin Heidelberg