166 search results - page 34 / 34 » Timed Behavior Trees and Their Application to Verifying Real... |
DSN
2002
IEEE
13 years 10 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...