18 search results - page 2 / 4 » vmcai 2004 |
VMCAI
2004
Springer
15 years 2 months ago
2004
Springer
VMCAI
2004
Springer
15 years 2 months ago
2004
Springer
VMCAI
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
79
Voted
VMCAI
2004
Springer
15 years 2 months ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
VMCAI
2004
Springer
15 years 2 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...