A formal approach to property testing in causally consistent distributed traces

DOI10.1007/S00165-005-0082-9MaRDI QIDQ2432223zbMATH OpenOpenAlexFDO

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

Publication date 25 October 2006

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-005-0082-9

zbMATH Keywords

distributed systemsmonitoringpassive testingsystem validationSDLtrace analysis

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2013784
• Reachability analysis on distributed executions
• Testing Distributed Systems Through Symbolic Model Checking
• Checking causal consistency of distributed databases
• On verifying causal consistency

Cited in

(3)

• scientific article; zbMATH DE number 2013784 (Why is no real title available?)
• A formal framework for specifying and analyzing logs as electronic evidence
• Testing Distributed Systems Through Symbolic Model Checking

Describes a project that uses

Uses Software

• NetLogger

This page was built for publication: A formal approach to property testing in causally consistent distributed traces

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