Summary: Overview overview2.1
Introduction
Modelling parallel systems
Transition systems ---
Modeling hard- and software systems
Parallelism and communication
Linear Time Properties
Regular Properties
Linear Temporal Logic
Computation-Tree Logic
Equivalences and Abstraction
1 / 628
Transition systems Transsys/ts1.4-1
real system
semantics
abstraction

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences