12981 search results - page 551 / 2597 » Model Checking (Abstract) |
206
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
162
click to vote
JCS
2011
15 years 1 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
181
click to vote
CHI
1993
ACM
15 years 11 months ago
1993
ACM
tasks to be performed. This Abstract Artifact Model is a description of the form of the artifact(s) without any nt to concrete implementation detail. The Abstract Artifact Model is...
179
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
224
click to vote
MTV
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...