„program specification“

Suchergebnisse

422 Treffer

• Program-level Specification and Deductive Verification of Security Properties
  Scheben, Christoph ; Schmitt, P. H. 2014 KIT-Bibliothek
• Formal specification of the x86 instruction set architecture
  Degenbaev, Ulan ; Paul, Wolfgang J. 2012 Saarländische Universitäts- und Landesbibliothek
• Embedding model specifications in object-oriented program code – a bottom-up approach for model-based software development
  Balz, Moritz ; Goedicke, Michael ; Müller-Clostermann, Bruno 2012 Universitätsbibliothek Duisburg-Essen
• Verifikation abstrakter Zustandsmaschinen
  Schellhorn, Gerhard 1999 Universität Ulm. Fakultät für Informatik
• Securing the System: Formal Methods for Error-Free Software
  Naviya 2024 tredition
• Specification and verification of object oriented software components
  Roth, Andreas 2006 Univ.-Verl. Karlsruhe
• Programming, specification and interactive theorem proving – towards a unified language based on equational logic, rewriting logic and type theory
  Stehr, Mark-Oliver
• Proofs, programs and executable specifications in higher order logic
  Berghofer, Stefan
• Object-oriented hardware specification and design with a language extension to VHDL
  Schumacher, Guido
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming Languages and Systems – 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings
  2023 Springer Berlin Heidelberg
• Fundamentals of Software Engineering – 6th International Conference, FSEN 2015 Tehran, Iran, April 22–24, 2015, Revised Selected Papers
  Arbab, Farhad ; Sirjani, Marjan 2015 Springer International Publishing
• Automated Deduction in Geometry – 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
  Botana, Francisco ; Quaresma, Pedro 2015 Springer International Publishing
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Programming Languages – 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
  Rauber du Bois, André ; Trinder, Phil 2013 Springer Berlin Heidelberg
• Automated Deduction in Geometry – 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Fundamentals of Software Engineering – 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
  2013 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