„algebraic verification“

Suchergebnisse

1.000+ Treffer

• A computer checked algebraic verification of a distributed summation algorithm
  Groote, Jan Friso ; Monin, François ; Springintveld, Jan
• Quantitative Verification on Product Graphs of Small Treewidth
  Chatterjee, Krishnendu ; Ibsen-Jensen, Rasmus ; Pavlogiannis, Andreas 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algebraic and Numeric Biology – 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
  Horimoto, Katsuhisa ; Nakatsui, Masahiko ; Popov, Nikolaj 2012 Springer International Publishing
• Recent Trends in Algebraic Development Techniques – 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
  Mossakowski, Till ; Kreowski, Hans-Jörg 2012 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
• Correction to: A Unifying View on SMT-Based Software Verification
  Beyer, Dirk ; Dangl, Matthias ; Wendler, Philipp
• Stepwise software developement – Combining axiomatic and algorithmic approaches in algebraic specifications
  Beierle, Christoph ; Voß, Angelika 2024 Saarländische Universitäts- und Landesbibliothek
• Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
  2018 Springer International Publishing
• Symbolic Algebraic Methods and Verification Methods
  2001 Springer Vienna
• Timed Automata Verification and Synthesis Via Finite Automata Learning
  Sankur, Ocan
• Reachability Problems – 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
  Bojanczyk, Mikolai ; Lasota, Slawomir ; Potapov, Igor 2015 Springer International Publishing
• Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
  Beyer, Dirk ; Lee, Nian-Ze ; Wendler, Philipp
• Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471)
  Alefeld, Götz ; Rohn, Jiri ; Rump, Siegfried M. ; Yamamoto, Tesuro 2000 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures
  Losekoot, Théo ; Genet, Thomas ; Jensen, Thomas 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Verification of Termination Criteria for First-Order Recursive Functions
  Muñoz, Cesar A. ; Ayala-Rincón, Mauricio ; Moscato, Mariano M. ; Dutle, Aaron M. ; Narkawicz, Anthony J. ; Almeida, Ariane Alves ; Silva, Andréia B. Avelar da ; Ramos, Thiago M. Ferreira
• Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
  Fijalkow, Nathanaël ; Ohlmann, Pierre ; Ouaknine, Joël ; Pouly, Amaury ; Worrell, James 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Shape Analysis of Sets
  Reineke, Jan 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the verification of Clark's example of a euclidean but not norm-euclidean number field
  Niklasch, Gerhard
• Artificial Intelligence and Symbolic Computation – 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
  2014 Springer International Publishing
• String Analysis for Software Verification and Security
  Bultan, Tevfik ; Alkhalaf, Muath ; Yu, Fang ; Aydin, Abdulbaki 2017 Springer International Publishing