„program verification“

Suchergebnisse

1.065 Treffer

• A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
  Kamburjan, Eduard ; Mitsch, Stefan ; Hähnle, Reiner
• Automatic Model Transformation and Formal Verification for Function Block of IEC 61499
  Chen, Yean-Ru ; Hsu, Chia-Hao ; Li, Tien-Fu ; Lin, Cheng-Yuan ; Weng, Shao-Chia ; Tsai, Min-Yan
• Complete Symbolic Simulation of SystemC Models – Efficient Formal Verification of Finite Non-Terminating Programs
  Herdt, Vladimir 2016 Springer Fachmedien Wiesbaden
• Software Composition – 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
  Gschwind, Thomas ; De Paoli, Flavio ; Gruhn, Volker ; Book, Matthias 2012 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
  Jobstmann, Barbara ; Leino, K. Rustan M. 2012 Springer Berlin Heidelberg
• Formal verification in automated manufacturing
  Tang, Yiheng 2024 FAU University Press
• Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
  Margaria, Tiziana 2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Verification – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
  Margaria, Tiziana 2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
  Margaria, Tiziana 2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Modeling – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
  Margaria, Tiziana 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
• Static Analysis – 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
  Podelski, Andreas 2018 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
  Dillig, Isil ; Palsberg, Jens 2018 Springer International Publishing
• Computer Aided Verification – 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
  Majumdar, Rupak ; Kunčak, Viktor 2017 Springer International Publishing
• Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
  2018 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
• Critical Systems: Formal Methods and Automated Verification – Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
  Petrucci, Laure ; Seceleanu, Cristina 2017 Springer International Publishing
• Runtime Verification – 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
  Shuvendu, Lahiri ; Reger, Giles 2017 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
  Hermenegildo, Manuel V. ; López García, Pedro 2017 Springer International Publishing
• Rules and Reasoning – International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
  Costantini, Stefania ; Franconi, Enrico ; Van Woensel, William ; Kontchakov, Roman ; Sadri, Fariba ; Roman, Dumitru 2017 Springer International Publishing