„Software model checking“

Suchergebnisse

732 Treffer

• Complete Symbolic Simulation of SystemC Models – Efficient Formal Verification of Finite Non-Terminating Programs
  Herdt, Vladimir 2016 Springer Fachmedien Wiesbaden
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part II
  2014 Springer International Publishing
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part III
  2014 Springer International Publishing
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part VI
  2014 Springer International Publishing
• A System-Theoretic Safety Engineering Approach for Software-Intensive Systems
  Abdulkhaleq, Asim 2017 Cuvillier Verlag
• Transactions on Petri Nets and Other Models of Concurrency XIII
  2018 Springer International Publishing
• Formal Aspects of Component Software – 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
  Bae, Kyungmin 2018 Springer International Publishing
• Automated Technology for Verification and Analysis – 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
  Lahiri, Shuvendu K. 2018 Springer International Publishing
• Model Checking Software – 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
  Gallardo, Maria del Mar ; Merino, Pedro 2018 Springer International Publishing
• Computer Performance Engineering – 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
  Reinecke, Philipp ; Di Marco, Antinisca 2017 Springer International Publishing
• Software Engineering for Self-Adaptive Systems III. Assurances – International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
  Lemos, Rogério ˜deœ ; Garlan, David ; Ghezzi, Carlo ; Giese, Holger 2017 Springer International Publishing
• Formal Methods: Foundations and Applications – 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
  Iyoda, Juliano ; Moura, Leonardo de 2017 Springer International Publishing
• Hardware and Software: Verification and Testing – 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
  Strichman, Ofer ; Tzoref-Brill, Rachel 2017 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency XII
  Koutny, Maciej ; Kleijn, Jetty ; Penczek, Wojciech 2017 Springer International Publishing
• System Analysis and Modeling: Models and Reusability – 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
  2014 Springer International Publishing
• Awaiting for Godot: stateless model checking that avoids executions where nothing happens
  Jonsson, Bengt ; Lång, Magnus ; Sagonas, Kostis
• Formal methods for components and objects – 10th international symposium ; revised selected papers
  Beckert, Bernhard ; Damiani, Ferruccio ; Boer, Frank S. ˜deœ ; Bonsangue, Marcello M. 2013 Springer
• Formal methods for components and objects – 9th international symposium ; revised papers
  Aichernig, Bernhard K. ; Boer, Frank S. ˜deœ ; Bonsangue, Marcello M. 2011 Springer
• Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking
  Lu, Chaoze ; Li, Chenghao ; Liu, Chenxia ; Wu, Xianrui ; Huang, Yimin
• Hardware and Software: Verification and Testing – 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  Bertacco, Valeria ; Legay, Axel 2013 Springer International Publishing