Login / Signup
Reasoning About Bounds in Weighted Transition Systems.
Mikkel Hansen
Kim Guldstrand Larsen
Radu Mardare
Mathias Ruggaard Pedersen
Published in:
Log. Methods Comput. Sci. (2018)
Keyphrases
</>
transition systems
practical reasoning
model checking
concurrent systems
temporal logic
finite state
lower bound
control flow
reactive systems
distributed systems
petri net
data flow
model checker