2514 search results - page 97 / 503 » The use of industrial-strength formal methods |
155
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
147
click to vote
COMPSEC
2010
15 years 3 months 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 ...
178
click to vote
SPLST
2003
15 years 7 months ago
2003
Abstract. The typechecking system of the formal method B is discussed. An inconsistency in the public definition of the B method, attributable to a flaw in the typechecking syste...
144
click to vote
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
This paper revisits the lattice-based thesaurus models which Margaret Masterman used for machine translation in the 1950’s and 60’s. Masterman’s notions are mapped onto moder...
160
click to vote
TYPES
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...