1856 search results - page 172 / 372 » Formal Dialectic Specification |
133
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
141
click to vote
KBSE
2005
IEEE
15 years 10 months 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...
135
click to vote
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
149
click to vote
AIME
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
173
Voted
HVC
2007
Springer
15 years 8 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...