( en | de | ru )

 

Disambiguation of "Still, Vladimír"

Author of the publication

copydeleteadd this publication to your clipboard
On verifying C++ programs with probabilities.

, , , , and . SAC, page 1238-1243. ACM, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

Gunnar Still

Vladimír Ulrich

Vladimír Dancík

Vladimír Müller

Vladimír Ilberg

 

Other publications of authors with the same name

Using Off-the-Shelf Exception Support Components in C++ Verification., , and . QRS, page 54-64. IEEE, (2017)DIVINE: Explicit-State LTL Model Checker - (Competition Contribution)., , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 920-922. Springer, (2016)Local Nontermination Detection for Parallel C++ Programs., and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 373-390. Springer, (2019)Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution)., , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 204-208. Springer, (2019)On verifying C++ programs with probabilities., , , , and . SAC, page 1238-1243. ACM, (2016)Model Checking of C++ Programs Under the x86-TSO Memory Model., and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 124-140. Springer, (2018)Automatic Test Generation for Haskell Programming Assignments.. ITiCSE, page 560. ACM, (2020)DiVM: Model checking with LLVM and graph memory., , , and . J. Syst. Softw., (2018)DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs., , , , , , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 863-868. Springer, (2013)Context-Switch-Directed Verification in DIVINE., , and . MEMICS, volume 8934 of Lecture Notes in Computer Science, page 135-146. Springer, (2014)