12981 search results - page 410 / 2597 » Model Checking (Abstract) |
126
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
113
click to vote
ISCI
2007
15 years 4 months ago
2007
Abstract - Detailed Record 1 from Compendex for: ((Fuzzy integral-based perceptron for two-class pattern classification problems) WN TI), 1969-2008 Check record to add to Selected ...
100
click to vote
EATCS
2002
15 years 4 months ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
152
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
248
click to vote
POPL
2007
ACM
16 years 5 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: ...