18 search results - page 2 / 4 » vmcai 2004 |
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
VMCAI
2004
Springer
13 years 10 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...
VMCAI
2004
Springer
13 years 10 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
13 years 10 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...