Automatically Checking Conformance on Asynchronous Reactive Systems.

Camila Sonoda Gomes Adilson Luiz Bonifácio

Published in: CoRR (2019)

Keyphrases

reactive systems
state machines
automatically generated
temporal logic
information flow
machine learning
petri net
databases
artificial intelligence
database systems
model checking
distributed environment