Branch-Well-Structured Transition Systems and Extensions.

Benedikt Bollig Alain Finkel Amrita Suresh

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
control flow
finite state
practical reasoning
case study
reactive systems
learning algorithm
knowledge base
web services
data model
communication networks
data flow
formal specification