Deductive Computer Programming.
Abstract
Research has been conducted on the following related topics: Automated Deduction - new inference rules have been developed to facilitate reasoning about ordering relations, which pervade all software-development applications. Program Synthesis - a deductive approach to program synthesis has been developed, cased on the application of theorem-providing techniques, Auto Planning the deductive Tableau system, extended to situational logic, has been applied to the formation of robotic and engineering plans, Temporal Logic - research into the foundational questions of temporal logic has yielded several techniques for reasoning about temporal concepts, Reactive Systems - a methodology based on temporal based logic was developed for the specification and verification of reactive systems, i.e., system whose role is to maintain an ongoing interaction with their environment. Real-Time System - the temporal methodology ha s been extended to deal with real-time systems by introducing a time parameter into the state and Hybrid Systems - the temporal methodology, the specification language, and the proof system have been extended to deal with hybrid systems
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 23, 1993
- Accession Number
- ADA274966
Entities
People
- Zohar Manna
Organizations
- Stanford University