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