A logic-based approach for real-time object-oriented software development

This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a linear-time temporal logic with time-bounded operators, n about general properties of timed transition systems, an abstract model for the behavior of objects in a real-time, object-oriented software system.

• Type: Journal
• Year: 2000
• Where: RITA
• Authors: Fernando Náufel do Amaral, Edward Hermann Haeusler
• Keywords: Action Logic, Logic, RITA 2000, Temporal Logic