The following pages link to Zohar Manna (Q582279):
Displaying 50 items.
- Temporal logic programming (Q582280) (← links)
- The temporal logic of branching time (Q789895) (← links)
- Adequate proof principles for invariance and liveness properties of concurrent programs (Q795497) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Property-directed incremental invariant generation (Q939166) (← links)
- The origin of a binary-search paradigm (Q1098328) (← links)
- How to clear a block: a theory of plans (Q1100936) (← links)
- Problematic features of programming languages: A situational-calculus approach (Q1157138) (← links)
- Deductive synthesis of the unification algorithm (Q1157924) (← links)
- Completing the temporal picture (Q1176248) (← links)
- Knowledge and reasoning in program synthesis (Q1216171) (← links)
- A closer look at termination (Q1216947) (← links)
- The convergence of functions to fixedpoints of recursive definitions (Q1254993) (← links)
- Models for reactivity (Q1323323) (← links)
- Temporal proof methodologies for timed transition systems (Q1333273) (← links)
- Automatic generation of invariants and intermediate assertions (Q1391929) (← links)
- Verification of clocked and hybrid systems (Q1579058) (← links)
- (Q1589582) (redirect page) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- The correctness of nondeterministic programs (Q2541847) (← links)
- Mathematical theory of partial correctness (Q2545842) (← links)
- Axiomatic approach to total correctness of programs (Q2561482) (← links)
- (Q2754162) (← links)
- Generalized temporal verification diagrams (Q2956705) (← links)
- (Q3030268) (← links)
- (Q3038596) (← links)
- Synthesis: Dreams → Programs (Q3206282) (← links)
- Translating Program Schemas to While-Schemas (Q3214370) (← links)
- (Q3309037) (← links)
- (Q3318104) (← links)
- (Q3330496) (← links)
- Non-linear loop invariant generation using Gröbner bases (Q3452270) (← links)
- Nonclausal deduction in first-order temporal logic (Q3474286) (← links)
- (Q3482822) (← links)
- Verification Constraint Problems with Strengthening (Q3525138) (← links)
- Proving ATL* Properties of Infinite-State Systems (Q3525153) (← links)
- Temporal Verification of Reactive Systems: Response (Q3587259) (← links)
- (Q3670535) (← links)
- Synthesis of Communicating Processes from Temporal Logic Specifications (Q3673090) (← links)
- (Q3682464) (← links)
- (Q3690194) (← links)
- (Q3711783) (← links)
- (Q3732981) (← links)
- (Q3750140) (← links)
- Special relations in automated deduction (Q3777497) (← links)
- (Q3863048) (← links)
- Proving termination with multiset orderings (Q3868730) (← links)
- (Q3881899) (← links)