923 search results - page 89 / 185 » Proving the value of formal methods |
143
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
168
click to vote
UAI
1993
15 years 7 months ago
1993
In this paper some initialwork towards a new approach to qualitative reasoning under uncertainty is presented. This method is not only applicable to qualitative probabilistic reas...
167
click to vote
ACL2
2006
ACM
16 years 4 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
120
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
158
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we ...