C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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