Sign in
From Well Structured Transition Systems to Program Verification.
Alain Finkel
Published in:
VPT/HCVS@ETAPS (2020)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
software engineering
software development
petri net