scientific article; zbMATH DE number 2013784

MaRDI QIDQ4437063zbMATH OpenFDO

Authors Hesham Hallal, S. Boroday, A. Ulrich, Alexandre Petrenko

Publication date 7 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2644/26440180.htm

zbMATH Keywords

distributed tracesmonitoringpassive testingproperty checkingSDL

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• A formal approach to property testing in causally consistent distributed traces
• Testing Distributed Systems Through Symbolic Model Checking
• Reachability analysis on distributed executions
• Automata for true concurrency properties
• scientific article; zbMATH DE number 4072393

Cited in

(5)

• Event trace independence of active behavior
• A formal approach to property testing in causally consistent distributed traces
• Testing Distributed Systems Through Symbolic Model Checking
• A compositional automata-based semantics and preserving transformation rules for testing property patterns
• Model Checking Software

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 Q4437063)