A symbolic operational semantics for TESL -- with an application to heterogeneous system testing

DOI10.1007/978-3-319-65765-3_18MaRDI QIDQ1683463zbMATH OpenOpenAlexFDO

Authors Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff

Publication date 1 December 2017

Full work available at URL https://doi.org/10.1007/978-3-319-65765-3_18

zbMATH Keywords

heterogeneitysynchronicitytimed behaviors

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A testing perspective on algebraic, denotational, and operational semantics
• scientific article; zbMATH DE number 1956607
• scientific article; zbMATH DE number 2079824
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Testing Distributed Systems Through Symbolic Model Checking

Cited in

(4)

• On the semantics of polychronous polytimed specifications
• A testing perspective on algebraic, denotational, and operational semantics
• Time: it is only logical!
• A Formal Development of a Polychronous Polytimed Coordination Language

This page was built for publication: A symbolic operational semantics for TESL -- with an application to heterogeneous system testing

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