Publication:2989005

zbMath1364.68142MaRDI QIDQ2989005

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

zbMATH Keywords

program verification; Reo; symbolic execution; coordination languages; constraint automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Symbolic execution of Reo circuits using constraint automata

Uses Software

• Reo