Title: Reactive systems
Subjects: Expert systems (Computer science), Validation, Verification, System design, Mathematical models, Computer software, verification, Computer science, mathematics