A formal approach to property testing in causally consistent distributed traces

DOI10.1007/S00165-005-0082-9zbMATH Open1103.68381OpenAlexW2147045827MaRDI QIDQ2432223FDOQ2432223

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

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

zbMATH Keywords

distributed systemsmonitoringpassive testingsystem validationSDLtrace analysis

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• A formal framework for specifying and analyzing logs as electronic evidence
• Testing Distributed Systems Through Symbolic Model Checking

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)