9 search results - page 2 / 2 » Modelling hardware verification concerns specified in the e ... |
ECBS
2003
IEEE
13 years 9 months ago
2003
IEEE
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
POPL
2003
ACM
14 years 4 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
POPL
2010
ACM
14 years 1 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
HUC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...