488 search results - page 24 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
134
click to vote
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
128
Voted
ICDCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
154
click to vote
ICWS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
140
click to vote
NSDI
2004
15 years 4 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
240
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...