S.K. Rajamani and J. Rehof. Conformance checking for models of asynchronous message passing software. In CAV 02: Proc. of 14th Conf. on Computer Aided Veri cation, volume 2404 of Lect. Notes in Comp. Sci. Springer-Verlag, 2002. 20  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Modular Analysis of Dataflow Process Networks - Jin, Esser, Lakos, Janneck (2003) (Correct)
....need to be constructed. Additionally, in contrast to the simple composition scheme in [3] we allow interface automata to be composed in many more ways reflecting how process networks can be constructed in practice. Our adaptation and checking method of alternating simulation is inspired by [13], where a similar relation was proposed to check the conformance (or refinement) relationship between CCS models. However, this relation is more restricted than ours, as it requires that both specification and implementation models have no mixed states (where both input and output transitions can ....
....to provide. Therefore, these assumptions cannot be captured by component models. In this approach we employ interface automata [3] to solve this problem. Definition 4. An interface automaton (IA) is defined as a deterministic RTS # # #######, where # and # are finite and # # #. Like [13, 17], we exclude IAs with mixed states, i.e. states where both input and output transitions can occur. Also, we assume a universal set # of IAs. The information captured by an interface automaton is twofold. On the one hand, the behaviour of the automaton is observed through a sequence of its ....
S. Rajamani and J. Rehof. Conformance checking for models of asynchronous message passing software. In Proc. of the Computer-Aided Verification (CAV 2002), LNCS 2404. Springer.
Interfaces: A Game-Theoretic Framework for Reasoning about . . . - de Alfaro, al. (Correct)
No context found.
S.K. Rajamani and J. Rehof. Conformance checking for models of asynchronous message passing software. In CAV 02: Proc. of 14th Conf. on Computer Aided Veri cation, volume 2404 of Lect. Notes in Comp. Sci. Springer-Verlag, 2002. 20
Analysing Mailboxes of Asynchronous Communicating Components - Royer, Xu (2003) (Correct)
No context found.
Sriram K. Rajamani and Jakob Rehof. Conformance checking for models of asynchronous message passing software. Lecture Notes in Computer Science, 2404:166--179, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC