3742 search results - page 266 / 749 » On the Use of Formal Techniques for Validation |
170
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
180
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
167
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
179
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
183
click to vote
ADHOCNOW
2008
Springer
16 years 29 days ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...