Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages.

Adilson Luiz Bonifácio

Published in: CoRR (2023)

Keyphrases

reactive systems
model checking
temporal logic
expressive power
language independent
databases
formal specification
formal methods
information flow
text summarization
real time