Title: Theory / Unimportant / CS / Fundamental / Model Checking / Temporal logic of Reactive and Concurrent Systems

Name: A reactive program
Definition: A program whose role is to maintain an ongoing interaction with its environment
Page: vii
Chapter: Preface