Symbolic execution of Reo circuits using constraint automata
DOI10.1016/J.SCICO.2011.04.001zbMATH Open1242.68073OpenAlexW2009315879MaRDI QIDQ433344FDOQ433344
Authors: Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab 
Publication date: 13 July 2012
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2011.04.001
Recommendations
- Automated analysis of Reo circuits using symbolic execution
- Modeling component connectors in Reo by constraint automata
- Compositional failure-based equivalence of constraint automata
- An Alternative Algorithm for Constraint Automata Product
- Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
program verificationsymbolic executioncoordination languagesprogram validationReo constraint automata
Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Analysis of distributed systems with mCRL2
- Reo: a channel-based coordination model for component composition
- Derivatives of Regular Expressions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generative communication in Linda
- Symbolic execution and program testing
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modeling component connectors in Reo by constraint automata
- Symbolic model checking for channel-based component connectors
- Comparing three coordination models: Reo, ARC, and RRD
- Title not available (Why is that?)
- Symbolic execution of concurrent systems using Petri nets
- Title not available (Why is that?)
- Verification of context-dependent channel-based service models
- Symbolic Execution Techniques for Test Purpose Definition
- Compositional Semantics of System-Level Designs Written in SystemC
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal ReSpecT
- Composition of Interacting Computations
- Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
- Model Checking Software
- A coinductive calculus of component connectors.
Cited In (1)
Uses Software
This page was built for publication: Symbolic execution of Reo circuits using constraint automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433344)
