scientific article; zbMATH DE number 6721688

zbMATH Open1364.68142MaRDI QIDQ2989005FDOQ2989005

Farhad Arbab, Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat

Publication date: 19 May 2017

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066109004496?np=y

Title of this publication is not available (Why is that?)

zbMATH Keywords

program verificationReosymbolic executioncoordination languagesconstraint 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) Semantics in the theory of computing (68Q55)

Cited In (2)

• Symbolic execution of Reo circuits using constraint automata
• ReLo: a Dynamic Logic to Reason About Reo Circuits

Uses Software

• Reo

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2989005)