( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
STeP: The Stanford Temporal Prover.

, , , , , , , , , , и . TAPSOFT, том 915 из Lecture Notes in Computer Science, стр. 793-794. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ulf Björner

Nikolaj Belov

Nikolaj Fischer

Nikolaj Beier

Nikolaj Sobolev

 

Другие публикации лиц с тем же именем

Preface: Special Issue of Selected Extended Papers of CADE-23., и . J. Autom. Reason., 51 (1): 1-2 (2013)Z3: An Efficient SMT Solver., и . TACAS, том 4963 из Lecture Notes in Computer Science, стр. 337-340. Springer, (2008)Abduction for Learning Smart City Rules., , и . GCAI, том 50 из EPiC Series in Computing, стр. 233-238. EasyChair, (2017)Verifying temporal properties of reactive systems: A STeP tutorial, , , , , , и . FORMAL METHODS IN SYSTEM DESIGN, стр. 2000. (2000)Satisfiability Modulo Custom Theories in Z3., , и . VMCAI, том 13881 из Lecture Notes in Computer Science, стр. 91-105. Springer, (2023)Deductive Verification of Real-Time Systems Using STeP., , , и . ARTS, том 1231 из Lecture Notes in Computer Science, стр. 22-43. Springer, (1997)Generalized, efficient array decision procedures., и . FMCAD, стр. 45-52. IEEE, (2009)Symbolic Automata: The Toolkit., и . TACAS, том 7214 из Lecture Notes in Computer Science, стр. 472-477. Springer, (2012)Linear Functional Fixed-points., и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 124-139. Springer, (2009)SMT Solvers for Testing, Program Analysis and Verification at Microsoft.. SYNASC, стр. 15. IEEE Computer Society, (2009)