366 search results - page 28 / 74 » Model-checking higher-order functions |
ICCAD
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
110
click to vote
TDSC
2010
14 years 6 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
70
Voted
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...