A Temporal Logic over Partial Orders for Analysis of Real-Time Properties of Distributed Programs

R. Mall, L.M. Patnaik
TENCON '91. Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems  
Temporal logic is widely acclaimed to be a highly successful tool for analyzing non-real-time properties of programs. However, a few fundamental problems arise while designing temporal logic-based techniques to verify real-time properties of programs. In this context, we formulateamodallogiccalleddishibufed Iogic (DL) byusingideas from both the interleaving and partial ordering approach. This logic uses spatial modal operators in addition to temporal operators for representing real-timed
more » ... ency. In additikn to the syntax and semantics of the logic, a programming model, and a formal proof technique based on the logic are also presented. FmaUy, use of the proof method is illustrated through the analysis of the real-time properties of a generic multiprocess producer/consumer program.
doi:10.1109/tencon.1991.729671 fatcat:ehtsdv7xqrfelbtyc2jekrn7vu