Login / Signup
Multi-Valued Reasoning about Reactive Systems.
Orna Kupferman
Published in:
Found. Trends Theor. Comput. Sci. (2022)
Keyphrases
</>
multi valued
reactive systems
model checking
single valued
temporal logic
formal methods
information flow
petri net
normal form
real time systems
control flow
boolean functions
web services