„modular verification“

Suchergebnisse

1.000+ Treffer

• Formal Methods for Trustworthy Voting Systems – From Trusted Components to Reliable Software
  Kirsten, Michael ; Beckert, Bernhard ; Schürmann, Carsten 2023 KIT-Bibliothek
• Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
  Huster, Stefan 2020 Universitätsbibliothek Tübingen
• Modular Verification of a Modular Specification: Behavioral Types as Program Logics
  Kamburjan, Eduard ; Hähnle, Reiner ; Boer, Frank S. ˜deœ 2020 Universitäts- und Landesbibliothek Darmstadt
• 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
• Decoupling and controller design of multivariable systems for small modular reactors
  Liu, Wenqian ; Shi, Bo ; Zhang, Yilin ; Wang, Mingjun ; Xiong, Guohua ; Zhang, Tao ; Guo, Wei ; Wang, Yan ; Zhang, Tianjiao
• A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
  Ernst, Gidon ; Reif, Wolfgang 2017 Universität Augsburg
• Verifying an Efficient Algorithm for Computing Bernoulli Numbers
  Eberl, Manuel ; Lammich, Peter 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abstracts Collection -- Workshop Trustworthy Software 2006
  Autexier, Serge ; Merz, Stephan ; van der Torre, Leon ; Wilhelm, Reinhard ; Wolper, Pierre 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Engineering Trustworthy Software Systems – First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
  Liu, Zhiming ; Zhang, Zili 2016 Springer International Publishing
• Formal Techniques for Distributed Objects, Components, and Systems – 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
  Baier, Christel 2018 Springer International Publishing
• Modular specification and verification of object oriented programs
  Müller, Peter 2016 FernUniversität in Hagen
• Modular specification and verification of object oriented programs
  Müller, Peter 2002 Springer
• Optimization on reagent-loading manner for modular clinical chemistry analyzer series: simulations and verifications
  Wang, Mingyang ; Ming, Liang
• Modular Verification of Intrusive List and Tree Data Structures in Separation Logic
  Hermes, Marc ; Krebbers, Robbert 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Modular Formalization of Superposition in Isabelle/HOL
  Desharnais, Martin ; Toth, Balazs ; Waldmann, Uwe ; Blanchette, Jasmin ; Tourret, Sophie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modular Verification of State-Based CRDTs in Separation Logic (Artifact)
  Nieto, Abel ; Daby-Seesaram, Arnaud ; Gondelman, Léon ; Timany, Amin ; Birkedal, Lars
• Modular Verification of State-Based CRDTs in Separation Logic
  Nieto, Abel ; Daby-Seesaram, Arnaud ; Gondelman, Léon ; Timany, Amin ; Birkedal, Lars 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Transferring Obligations Through Synchronizations
  Hamin, Jafar ; Jacobs, Bart 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming Language Abstractions for Modularly Verified Distributed Systems
  Wilcox, James R. ; Sergey, Ilya ; Tatlock, Zachary 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Modular Approach for Büchi Determinization
  Fisman, Dana ; Lustig, Yoad 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik