( en | de | ru )

 

Disambiguation of "Veith, Helmut"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample-guided abstraction refinement for symbolic model checking.

, , , , and . J. ACM, 50 (5): 752-794 (2003)

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.

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

 

Other publications of authors with the same name

Shape and Content: Incorporating Domain Knowledge into Shape Analysis., , , , and . CoRR, (2013)How did you specify your test suite., , , and . ASE, page 407-416. ACM, (2010)The Localization Reduction and Counterexample-Guided Abstraction Refinement., , and . Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 61-71. Springer, (2010)A Syntactic Characterization of Distributive LTL Queries., and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 1099-1110. Springer, (2004)On the Undecidability of some Sub-Classical First-Order Logics., , , and . FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 258-268. Springer, (1999)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms., , , , and . SFM, volume 8483 of Lecture Notes in Computer Science, page 122-171. Springer, (2014)Empirical Software Metrics for Benchmarking of Verification Tools., , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 561-579. Springer, (2015)On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability., , and . Inf. Comput., (2017)Complexity of t-tautologies., , , and . Ann. Pure Appl. Log., 113 (1-3): 3-11 (2001)Parameterized model checking of rendezvous systems., , , , and . Distributed Comput., 31 (3): 187-222 (2018)