253 search results - page 32 / 51 » How to Transform an Analyzer into a Verifier |
JUCS
2002
13 years 7 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
JCIT
2010
13 years 2 months ago
2010
The complicated interactions among tasks lead to iterations in product design and development. To maintain the market share, enterprises should effectively manage their product de...
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
HASKELL
2007
ACM
13 years 11 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
SIGOPS
2010
13 years 6 months ago
2010
Cloud computing carries the promise of providing powerful ls and abstractions that could transform the way IT services are delivered today. In order to establish the readiness of ...