Automatic Discovery of Fair Paths in Infinite-State Transition Systems.

Alessandro Cimatti Alberto Griggio Enrico Magnago

Published in: ATVA (2021)

Keyphrases

automatic discovery
transition systems
model checking
concurrent systems
temporal logic
web services
finite state
control flow
semantic web services
practical reasoning
model checker
reactive systems
machine learning
formal verification
fully observable