„Software correctness“

Suchergebnisse

1.000+ Treffer

• Axiomatic approach to total correctness of programs
  Manna, Zohar ; Pnueli, Amir
• Axioms for total correctness
  Sokołowski, Stefan
• Interactive correctness proofs for software modules using KIV
  Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt 1995 Universität Augsburg
• Correctness-by-Construction for Correct and Secure Software Systems
  Runge, Tobias ; Johns, Martin ; Schaefer, Ina ; Hähnle, Reiner 2023 Technische Universität Braunschweig
• Beyond Testing: The Art and Science of Formal Verification
  Shalini 2024 tredition
• Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
  Huster, Stefan 2020 Universitätsbibliothek Tübingen
• Scaling Correctness-by-Construction
  Bordis, Tabea ; Schaefer, Ina ; Broch Johnsen, Einar 2025 KIT-Bibliothek
• Building Bulletproof Software: How Formal Verification Saves the Day
  Bernard 2024 tredition
• OS verification extended – on the formal verification of device drivers and the correctness of client-server software
  Alkassar, Eyad
• Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
  Braga, Christiano ; Martí-Oliet, Narciso 2015 Springer International Publishing
• From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 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
• 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
• 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
• Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
  Qin, Shengchao 2010 Springer Berlin Heidelberg
• Correctness, completeness, and consistency of equational data type specifications
  Padawitz, Peter ; Ehrig, Hartmut ; Siefkes, Dirk 2016 Technische Universität Berlin
• Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
  Ábrahám, Erika ; Johnsen, Einar Broch ; Bonsangue, Marcello M. 2016 Springer International Publishing
• Verification of Business Rules Programs
  2014 Springer Berlin Heidelberg
• Operational Semantics and Verification of Security Protocols
  Cremers, Cas ; Mauw, Sjouke 2012 Springer Berlin