A Gentle Introduction to Verification of Parameterized Reactive Systems.

Nicolas Féral Alain Giorgetti

Published in: FMTea (2023)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
gentle introduction
formal specification
petri net
information flow
functional programming
control flow
microsoft windows
knowledge based systems
databases
management system
knowledge representation
real time systems
user interface
expert systems