1676 search results - page 35 / 336 » Formal System Development with KIV |
121
click to vote
ISTA
2003
15 years 5 months ago
2003
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
125
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
140
click to vote
RE
1997
Springer
15 years 8 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
116
click to vote
COMPSEC
2010
15 years 21 days ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
143
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...