×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [infinite path slide]
Home >
infinite path slide
Model Checking Lecture 2. Three important decisions when choosing system properties: 1automata vs. logic 2branching vs. linear time 3safety vs. liveness.
216 views