A Gentle Introduction to Verification of Parameterized Reactive Systems.

Nicolas Féral Alain Giorgetti

Published in: FMTea (2022)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
gentle introduction
information flow
petri net
formal specification
databases
software engineering
functional programming
artificial intelligence
knowledge based systems
microsoft windows