Symbolic execution of Reo circuits using constraint automata

DOI10.1016/J.SCICO.2011.04.001MaRDI QIDQ433344zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

program verificationsymbolic executioncoordination languagesprogram validationReo constraint automata

Mathematics Subject Classification ID

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)

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>

Cites work

• scientific article; zbMATH DE number 2089377 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1956607 (Why is no real title available?)
• scientific article; zbMATH DE number 3795376 (Why is no real title available?)
• scientific article; zbMATH DE number 868107 (Why is no real title available?)
• scientific article; zbMATH DE number 910719 (Why is no real title available?)
• scientific article; zbMATH DE number 5194318 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A coinductive calculus of component connectors.
• Analysis of distributed systems with mCRL2
• Automated analysis of Reo circuits using symbolic execution
• Comparing three coordination models: Reo, ARC, and RRD
• Composition of interacting computations
• Compositional Semantics of System-Level Designs Written in SystemC
• Derivatives of Regular Expressions
• Formal \textsf{ReSpecT}
• Formal modeling and conformance validation for WS-CDL using Reo and CASM
• Generative communication in Linda
• Model Checking Software
• Modeling component connectors in Reo by constraint automata
• Reo: a channel-based coordination model for component composition
• Symbolic Execution Techniques for Test Purpose Definition
• Symbolic execution and program testing
• Symbolic execution of concurrent systems using Petri nets
• Symbolic model checking for channel-based component connectors
• Verification of context-dependent channel-based service models

Cited in

(3)

• Automated analysis of Reo circuits using symbolic execution
• An Alternative Algorithm for Constraint Automata Product
• From symbolic constraint automata to Promela

Describes a project that uses

Uses Software

• mCRL2
• Reo
• 2APL
• Reoservice
• Linda
• ReSpecT

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)