1454 search results - page 21 / 291 » Stateful traits and their formalization |
84
Voted
ENTCS
2008
15 years 15 days ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
92
Voted
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
104
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
89
Voted
ICTAC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
81
Voted
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...