„Software model checking“

Suchergebnisse

732 Treffer

• Testing Software and Systems – 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
  Nielsen, Brian ; Weise, Carsten 2012 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
  Aoki, Toshiaki ; Taguchi, Kenji 2012 Springer Berlin Heidelberg
• Hardware and Software: Verification and Testing – 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
  Eder, Kerstin ; Lourenҫo, João ; Shehory, Onn 2012 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  2012 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
  Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik 2012 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
  Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike 2012 Springer Berlin Heidelberg
• Formal Methods: Foundations and Applications – 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
  Gheyi, Rohit ; Naumann, David 2012 Springer Berlin Heidelberg
• Computer Safety, Reliability, and Security – 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
  Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
• Model Checking Software – 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  Donaldson, Alastair ; Parker, David 2012 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
  Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2012 Springer Berlin Heidelberg
• Tests and Proofs – 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
  Brucker, Achim D. ; Julliand, Jacques 2012 Springer Berlin Heidelberg
• Fundamentals of Software Engineering – 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
  Arbab, Farhad ; Sirjani, Marjan 2012 Springer Berlin Heidelberg
• NASA Formal Methods – 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
  Goodloe, Alwyn E. ; Person, Suzette 2012 Springer Berlin Heidelberg
• Tools and Algorithms for the Construction and Analysis of Systems – 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  Flanagan, Cormac ; König, Barbara 2012 Springer Berlin Heidelberg
• Foundations of Software Science and Computational Structures – 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  Birkedal, Lars 2012 Springer Berlin Heidelberg
• Information Computing and Applications – Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
  2011 Springer Berlin Heidelberg
• Formal Methods for Components and Objects – 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
  Aichernig, Bernhard K. ; Boer, Frank S. ˜deœ ; Bonsangue, Marcello M. 2012 Springer Berlin Heidelberg
• Information Computing and Applications – Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings
  2011 Springer Berlin Heidelberg
• Software Engineering, Business Continuity, and Education – International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Kim, Kwang-hŏn ; Kang, Heau-jo ; Kim, Kyung Jung ; Kiumi, Akingbehin ; Kang, Byeong Ho 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg