790 search results - page 138 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
COMPSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
113
click to vote
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
121
click to vote
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
121
click to vote
ATVA
2006
Springer
15 years 3 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...