Runtime verification and validation of functional reactive systems.

Ivan Perez Henrik Nilsson

Published in: J. Funct. Program. (2020)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
functional verification
formal verification
verification method
petri net
information flow
concurrent systems
formal specification
state machines
open source
expert systems
control flow
real time systems
databases
computer networks
software engineering