Searching for authors named "Eli Singerman" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
More on Nonregular PDL: Finite Models and Fibonacci-Like Programs
- …More on Nonregular PDL: Finite Models and Fibonacci-Like Programs David Harel and Eli Singerman…
- Cited by 1 (1 self) – Add To MetaCart
-
Computation Paths Logic: An Expressive, yet Elementary, Process Logic
- …Computation Paths Logic: An Expressive, yet Elementary, Process Logic David Harel 1 and Eli…
- Cited by 3 (0 self) – Add To MetaCart
-
Fair Synchronous Transition Systems and their Liveness Proofs
- …. and CS The Weizmann Institute of Science Rehovot, ISRAEL Natarajan Shankar Eli Singerman Computer Science…
- Cited by 5 (1 self) – Add To MetaCart
-
satGSTE: Combining the Abstraction of GSTE with the Capacity of a SAT Solver
- …, Eli Singerman Intel Corporation - Design Technology GSTE (Generalized Symbolic Trajectory Evaluation…
- Cited by 7 (0 self) – Add To MetaCart
-
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction
- … ? Vlad Rusu Eli Singerman SRI International, Menlo Park, California, USA frusu…
- Add To MetaCart
-
GSTE is Partitioned Model Checking
- …GSTE is Partitioned Model Checking Roberto Sebastiani 1 ? , Eli Singerman 2 , Stefano Tonetta…
- Cited by 2 (0 self) – Add To MetaCart
-
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
- … , Sela Mador-Haim 1 , Eli Singerman 1 , Andreas Tiemeyer 1 , Moshe Y. Vardi ??3 , and Yael Zbar…
- Cited by 52 (17 self) – Add To MetaCart
-
An Overview of SAL
- …, Harald Rue, John Rushby, Vlad Rusu, Hassen Sadi, N. Shankar, y Eli Singerman, Ashish Tiwari Abstract…
- Cited by 32 (5 self) – Add To MetaCart
-
Formal Verification of Backward Compatibility of
- … Fix1, Sela Mador-Haim3, Michael Mishaeli2, Jonathan Shalev1, Eli Singerman1, Andreas Tiemeyer1, Moshe…
- Add To MetaCart
Showing 1 through 9.
