Login / Signup
Program Refinement in Fair Transition Systems.
Ambuj K. Singh
Published in:
PARLE (2) (1991)
Keyphrases
</>
transition systems
control flow
concurrent systems
model checking
temporal logic
finite state
practical reasoning
data flow
test cases
reactive systems
object oriented