4340 search results - page 357 / 868 » Formal Methods and Cryptography |
158
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Binary Decision Graphs are an extension of Binary Decision Diagrams that can represent some infinite boolean functions. Three refinements of BDGs corresponding to class...
164
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
ing Cryptographic Protocols with Tree Automata David Monniaux http://www.di.ens.fr/%7Fmonniaux, Laboratoire d’Informatique, ´Ecole Normale Sup´erieure, 45 rue d’Ulm , 75230 P...
156
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
183
click to vote
IFL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
156
click to vote
FM
1997
Springer
15 years 11 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...