Karen Yorav

Available identifiers

zbMath Open yorav.karenMaRDI QIDQ1039849

List of research outcomes

Publication	Date of Publication	Type
Adaptive application of SAT solving techniques	2013-09-26	Paper
Automated compositional abstraction refinement for concurrent C programs: a two-level approach	2013-08-30	Paper
Using assumptions to distribute CTL model checking	2013-08-16	Paper
Applying software model checking techniques for behavioral UML models	2012-11-08	Paper
Functional verification of power gated designs by compositional reasoning	2009-11-23	Paper
Functional Verification of Power Gated Designs by Compositional Reasoning	2008-07-15	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Predicate abstraction of ANSI-C programs using SAT	2004-11-22	Paper
Efficient verification of sequential and concurrent C programs	2004-11-22	Paper
Static analysis for state-space reductions preserving temporal logics	2004-09-09	Paper
Syntax-directed model checking of sequential programs	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4787218	2003-01-09	Paper

Research outcomes over time

This page was built for person: Karen Yorav