R
R. Sherman
Researcher at Weizmann Institute of Science
Publications - 8
Citations - 1657
R. Sherman is an academic researcher from Weizmann Institute of Science. The author has contributed to research in topics: Dynamic logic (modal logic) & Decidability. The author has an hindex of 7, co-authored 8 publications receiving 1647 citations.
Papers
More filters
Journal ArticleDOI
STATEMATE: a working environment for the development of complex reactive systems
David Harel,H. Lachover,A. Naamad,Amir Pnueli,M. Politi,R. Sherman,A. Shtull-Trauring,Mark B. Trakhtenbrot +7 more
TL;DR: The main novelty of STATEMATE is in the fact that it `understands` the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.
Journal ArticleDOI
Looping vs. repeating in dynamic logic
David Harel,R. Sherman +1 more
TL;DR: Two extensions of propositional dynamic logic for dealing with infinite computations, LPDL and RPDL, are compared in expressive power and it is shown here that the converse fails.
Journal ArticleDOI
Propositional dynamic logic of flowcharts
David Harel,R. Sherman +1 more
TL;DR: This work presents an elementary combined proof of the completeness of a simple axiom system for APDL and decidability of the validity problem in exponential time and the results are stronger than those for PDL, since PDL can be encoded in APDL with no additional cost, and the proofs simpler, since induction on the structure of programs is virtually eliminated.
Journal ArticleDOI
Is the interesting part of process logic uninteresting? A translation from PL to PDL
TL;DR: An algorithm is presented for the translation of a PL formula p into a program $\zeta (p)$ of propositional dynamic logic (PDL) such that a finite path satisfies p if it belongs to $\ zeta ( p)$.