Login / Signup
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