Coherent modal transition systems refinement.

Davide Basile Maurice H. ter Beek Alessandro Fantechi Stefania Gnesi

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
dynamic programming
distributed systems
knowledge based systems
software architecture
formal verification
fully observable