70 search results - page 8 / 14 » An Analysis of SAT-Based Model Checking Techniques in an Ind... |
WIFT
1998
IEEE
14 years 24 days ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
JUCS
2010
13 years 3 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
DAC
2005
ACM
13 years 10 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
ER
1999
Springer
14 years 25 days ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...