Search

Your search keyword '"Espada, M.V."' showing total 9 results
Start Over Author "Espada, M.V."
9 results on '"Espada, M.V."'

1. An abstract interpretation toolkit for $\mu$CRL

Author

Espada, M.V., Pol, Jaco, and Specification and Analysis of Embedded Systems

Abstract

This paper describes a toolkit that assists in the task of generating abstract approximations of process algebraic specifications written in the language μCRL. Abstractions are represented by Modal Labelled Transition Systems, which are mixed transition systems with may and must modalities. The approach permits to infer the satisfaction or refutation of safety and liveness properties expressed in the (action-based) μ-calculus. The tool supports the abstraction of states and action labels, which allows to deal with infinitely branching systems.

Published
2007

4. A state space distribution policy based on abstract interpretation

Author

Orzan, S.-M. (Simona-Mihaela), Pol, J.C. (Jaco) van de, Espada, M.V., Orzan, S.-M. (Simona-Mihaela), Pol, J.C. (Jaco) van de, and Espada, M.V.

Abstract

We aim at improving the performance of distributed algorithms for model checking and state space reduction. To this end, we introduce a new distribution policy of states over workers. This policy reduces the number of transitions between states located at different workers. This in turn is expected to reduce the communication costs of the distributed algorithms. The main idea is to use Abstract Interpretation techniques to compute a small approximation of the state space, starting from some high level description of the system. Based on this approximation, the connectivity of concrete states is predicted. This information is used to distribute states with expected connectivity to the same worker. Experiments show a considerable reduction of cross transitions, at the expense of a modest unbalance of nodes per worker.

Published
2005

Catalog

Books, media, physical & digital resources
See catalog results