1860 search results - page 69 / 372 » A Temporal Logic of Robustness |
KBSE
2002
IEEE
15 years 5 months ago
2002
IEEE
73
Voted
TIME
2002
IEEE
15 years 5 months ago
2002
IEEE
65
Voted
MPC
2010
Springer
15 years 5 months ago
2010
Springer
107
Voted
TACAS
2001
Springer
15 years 5 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
67
Voted
TIME
1999
IEEE
15 years 4 months ago
1999
IEEE
