ATVA 2006 - PDF Preprint Papers

ATVA 2006 Automated Technology for Verification and Analysis: Second International Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ATVA-2006 Paper

click to vote

ATVA
2006
Springer

206views Hardware» more ATVA 2006»

Compositional Reasoning for Hardware/Software Co-verification

13 years 8 months ago

Download web.cecs.pdx.edu

In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...

Fei Xie, Guowu Yang, Xiaoyu Song

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	206	Compositional Reasoning for Hardware/Software Co-verification	claim
2	191	Automatic Verification of Hybrid Systems with Large Discrete State Space	claim
3	162	Predicate Abstraction of Programs with Non-linear Computation	claim
4	160	Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols	claim
5	158	Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems	claim
6	155	Sigref- A Symbolic Bisimulation Tool Box	claim
7	153	Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition	claim
8	140	On the Construction of Fine Automata for Safety Properties	claim
9	133	Branching-Time Property Preservation Between Real-Time Systems	claim
10	131	Timed Unfoldings for Networks of Timed Automata	claim
11	130	The Implementation of Mazurkiewicz Traces in POEM	claim
12	123	Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives	claim
13	121	On the Succinctness of Nondeterminism	claim
14	114	Selective Approaches for Solving Weak Games	claim
15	112	Synthesis for Probabilistic Environments	claim
16	109	Proactive Leader Election in Asynchronous Shared Memory Systems	claim
17	106	Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains	claim
18	102	A Semantic Framework for Test Coverage	claim
19	100	A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis	claim
20	99	Whodunit? Causal Analysis for Counterexamples	claim
21	87	Timed Temporal Logics for Abstracting Transient States	claim
22	83	A Fresh Look at Testing for Asynchronous Communication	claim
23	83	Controller Synthesis and Ordinal Automata	claim
24	83	Towards a Model-Checker for Counter Systems	claim
25	82	Eager Markov Chains	claim
26	79	Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise	claim
27	75	Symbolic Unfoldings for Networks of Timed Automata	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers