2 search results - page 1 / 1 » Specification and Verification of a Steam-Boiler with Signal... |
TPHOL
2000
IEEE
13 years 8 months ago
2000
IEEE
JSS
2006
13 years 5 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...