3954 search results - page 343 / 791 » Image-based Model Completion |
153
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
222
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
136
click to vote
TACAS
1995
Springer
15 years 9 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
165
click to vote
AAAI
2008
15 years 8 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
165
Voted
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...