923 search results - page 44 / 185 » Proving the value of formal methods |
151
click to vote
FMSD
2006
15 years 6 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
154
click to vote
ISOLA
2007
Springer
16 years 6 days ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
153
click to vote
ASIAN
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
181
click to vote
ECML
2004
Springer
15 years 11 months ago
2004
Springer
Although tabular reinforcement learning (RL) methods have been proved to converge to an optimal policy, the combination of particular conventional reinforcement learning techniques...
237
click to vote
TYPES
2007
Springer
16 years 5 days ago
2007
Springer
We consider propositional formulas built on implication. The size of a formula is the number of occurrences of variables in it. We assume that two formulas which differ only in th...