1116 search results - page 91 / 224 » Applying Predicate Abstraction to Abstract State Machines |
192
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
106
click to vote
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
128
click to vote
MEMOCODE
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...