Login / Signup
Automatic Verification of Properties in Transition Systems.
André Arnold
Srecko Brlek
Published in:
Softw. Pract. Exp. (1995)
Keyphrases
</>
transition systems
concurrent systems
model checking
temporal logic
desirable properties
finite state