3 Requirements Program Abstract (formal) specification of a set of allowed computations (by Temporal Logic) Executable (formal) specification of a set of computations (by -automata) The course is about development of real-time systems by formal methods
{}