DFH@SU-AI.ARPA (03/23/84)
From: Diana Hall <DFH@SU-AI.ARPA>
[Forwarded from the SRI CSLI bboard by Laws@SRI-AI.]
HOW COMPOSITIONAL CAN TEMPORAL LOGIC BE?
Speaker: Prof. Amir Pnueli
Weizmann Institute, Israel
Tuesday, March 27, 2:30 p.m.
Room 352 Margaret Jacks Hall
Abstract: A compositional proof system based on temporal logic is presented.
The system supports systematic development of concurrent systems by
specifying modules and then proving a specification for their combination.
The specifications of modules are expressed by temporal logic.