Sign in
Conformance Checking and Pushdown Reactive Systems.
Adilson Luiz Bonifácio
Arnaldo Vieira Moura
Published in:
CLEI Electron. J. (2023)
Keyphrases
</>
reactive systems
model checking
temporal logic
formal methods
formal specification
petri net
information flow
control flow
real time systems
data mining
consistency checking
database
state machines
protocol specification