( en | de | ru )

 

Disambiguation of "Fraer, Ranan"

Author of the publication

copydeleteadd this publication to your clipboard
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.

, , , , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 389-402. Springer, (2000)

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.

No persons found for author name Fraer, Ranan
add a person with the name Fraer, Ranan
 

Other publications of authors with the same name

Accelerated verification of RTL assertions based on satisfiability solvers., , , , and . HLDVT, page 107-110. IEEE Computer Society, (2002)Efficient LTL compilation for SAT-based model checking., , , , and . ICCAD, page 877-884. IEEE Computer Society, (2005)Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation., , , , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 176-191. Springer, (2003)Reasoning with Executable Specifications., and . TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 531-545. Springer, (1995)Tracing the Origins of Verification Conditions.. AMAST, volume 1101 of Lecture Notes in Computer Science, page 241-255. Springer, (1996)Benefits of Bounded Model Checking at an Industrial Setting., , , , , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 436-453. Springer, (2001)Deeper Bound in BMC by Combining Constant Propagation and Abstraction., , , , , , and . ASP-DAC, page 304-309. IEEE Computer Society, (2007)Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting., , , and . SMC@FLoC, volume 23 of Electronic Notes in Theoretical Computer Science, page 11-22. Elsevier, (1999)A new paradigm for synthesis and propagation of clock gating conditions., , and . DAC, page 658-663. ACM, (2008)Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification., , , , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 389-402. Springer, (2000)