×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [given stateevent]
Home >
given stateevent
SYSTEMATIC THOUGHT LEADERSHIP FOR INNOVATIVE BUSINESS Towards Security Vulnerability Detection by Source Code Model Checking Keqin Li April, 2010.
104 views
Specification Patterns Early taxonomy for property specifications –safety properties: nothing bad will ever happen –liveness properties: something good.
220 views
Specification Patterns
15 views