„theorem prover“

Suchergebnisse

1.000+ Treffer

• Towards an Isabelle theory for distributed, interactive systems
  Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni ; Rumpe, Bernhard ; Stüber, Sebastian ; Wollenhaupt, Lucas 2025 Shaker Verlag
• Towards an Isabelle theory for distributed, interactive systems
  Bürger, Jens Christoph ; Stüber, Sebastian ; Raco, Deni ; Rumpe, Prof. Dr. rer. nat. Bernhard ; Kausch, Hendrik ; Ringert, Jan Oliver ; Wiartalla, Marc 2020 Shaker Verlag
• Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
  Stüber, Sebastian 2026 Shaker
• The addition of bounded quantification and partial functions to a computational logic and its theorem prover
  Boyer, Robert S. ; Moore, J Strother
• Theorems from compiler verification – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1998 Univ., Fak. für Informatik
• Proving properties of finite enumerations – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1997 Univ., Fak. für Informatik
• Formal software engineering of distributed systems using focus-streams and automata
  Stüber, Sebastian ; Rumpe, Bernhard ; Grosu, Radu 2025 Universitätsbibliothek der RWTH Aachen
• Theorem provers in circuit design – theory, practice and experience ; second international conference, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings
  Kumar, Ramayya 1995 Springer
• Modeling and verification of distributed algorithms in theorem proving environments
  Küfner, Philipp ; Nestmann, Uwe ; Kammüller, Florian 2014 Technische Universität Berlin
• Automated Reasoning with Analytic Tableaux and Related Methods – 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings
  Galmiche, Didier ; Larchey-Wendling, Dominique 2015 Springer International Publishing
• Trustworthy Global Computing – 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
  Maffei, Matteo ; Tuosto, Emilio 2014 Springer Berlin Heidelberg
• Automated Reasoning with Analytic Tableaux and Related Methods – 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Computability and l2-Betti Numbers
  Uschold, Matthias ; Löh, Clara ; Friedl, Stefan 2022 Universitätsbibliothek Regensburg
• Automatic synthesis of component & connector software architectures with bounded combinatory logic
  Düdder, Boris ; Rehof, Jakob ; Henglein, Fritz 2014 Universitätsbibliothek Dortmund
• Implementation of the PQC algorithm BIKE in theorem prover EasyCrypt
  Bausch, Simon ; Unruh, Dominique ; Meyer, Ulrike Michaela 2025 Universitätsbibliothek der RWTH Aachen
• Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2
  Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni ; Rumpe, Bernhard ; Stüber, Sebastian ; Wollenhaupt, Lucas 2025 Shaker
• Knowledge-based Cooperation between Theorem Provers by TECHS
  Fuchs, Dirk ; Denzinger, Jörg 2024 Saarländische Universitäts- und Landesbibliothek
• Inference Rights for Controlling Search in Generating Theorem Provers
  Fuchs, Dirk 2024 Saarländische Universitäts- und Landesbibliothek
• WALDMEISTER – Development of a High Performance Completion-Based Theorem Prover
  Buch, Arnim ; Hillenbrand, Thomas 2024 Saarländische Universitäts- und Landesbibliothek
• Using theorem provers for PL1EQ as inductive provers
  Fuchs, Matthias 2024 Saarländische Universitäts- und Landesbibliothek