3799 search results - page 304 / 760 » An Engineering Approach to Formal Methods |
302
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
190
click to vote
EMSOFT
2007
Springer
16 years 26 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
195
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
187
click to vote
OWLED
2007
15 years 8 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
177
click to vote
AAAI
1994
15 years 8 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...