Quantifying the Similarity of Non-bisimilar Labelled Transition Systems.

Published in: SEFM Workshops (2019)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
control flow
finite state
reactive systems
practical reasoning
knowledge base
search algorithm
software engineering
markov chain
business process
reverse engineering