1472 search results - page 239 / 295 » On Model Checking Infinite-State Systems |
113
click to vote
EUROCAST
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
135
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
102
click to vote
AAAI
2007
15 years 4 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
136
click to vote
ASE
2006
15 years 1 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
113
click to vote
ENTCS
2006
15 years 1 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...