6 search results - page 2 / 2 » Dynamic Model Checking with Property Driven Pruning to Detec... |
ER
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...