Deductive verification of real-time systems using STeP

Veröffentlicht 1999

Special issue on International Workshop on Invariant Generation : [... 3rd ...(WING 2010) that was held on 21 July 2010 in Edinburg, as a satellite event of the fifth Internation...

Veröffentlicht 2012

STeP : The Stanford temporal prover (educational release) user's manual ; version 1.0.

Veröffentlicht 1995

On Incremental Pre-processing for SMT

von Bjorner, Nikolaj
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Navigating the Universe of Z3 Theory Solvers

von Bjorner, Nikolaj
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)

FM 2015: formal methods : 20th international symposium, Oslo, Norway, June 24-26, 2015 ; proceedings

Veröffentlicht 2015

Satisfiability Modulo Custom Theories in Z3

von Bjorner, Nikolaj
Veröffentlicht in VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation (2023)

Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18, Mérida, Venezuela, March 11 - 15, 2012 ; proceedings

Veröffentlicht 2012

Algebra-Based Loop Synthesis

von Humenberger, Andreas
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Automated deduction - CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31- August 5, 2011 ; proceedings

Veröffentlicht 2011

Distributed computing and internet technology : 12th international conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings

Veröffentlicht 2016

Supercharging Plant Configurations Using Z3

von Bjørner, Nikolaj
Veröffentlicht in CPAIOR (18. : 2021 : Online) Integration of Constraint Programming, Artificial Intelligence, and Operations Research (2021)

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013) : Timişoara, Romania, 23 - 26 September 2013 ; [including workshop pap...

Veröffentlicht 2013

Perspectives of system informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers

Veröffentlicht 2019