11 search results - page 3 / 3 » Rigorous Modeling of Hybrid Systems Using Interval Arithmeti... |
172
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...