Partial Order Trace Analyzer (POTA) for Distributed Programs

@article{Sen2003PartialOT,
  title={Partial Order Trace Analyzer (POTA) for Distributed Programs},
  author={Alper Sen and Vijay K. Garg},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2003},
  volume={89},
  pages={22-43}
}
Abstract Checking the correctness of software is a growing challenge. In this paper, we present a prototype implementation of Partial Order Trace Analyzer (POTA), a tool for checking execution traces of both message passing and shared memory programs using temporal logic. So far runtime verification tools have used the total order model of an execution trace, whereas POTA uses a partial order model. The partial order model enables us to capture possibly exponential number of interleavings and… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 31 CITATIONS

Formal Verification of Simulation Traces Using Computation Slicing

  • IEEE Transactions on Computers
  • 2007
VIEW 16 EXCERPTS
CITES METHODS & BACKGROUND

Runtime Verification for Decentralised and Distributed Systems

  • Lectures on Runtime Verification
  • 2018
VIEW 11 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Runtime Verification of k-Mutual Exclusion for SoCs

  • 2007 Eighth International Workshop on Microprocessor Test and Verification
  • 2007
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS

Predictive Typestate Checking of Multithreaded Java Programs

  • 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
  • 2008
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 21 REFERENCES

EÆ ient Symboli Dete tion of Global Properties inDistributed Systems

Y. Liu.
  • 2003

Dete ting Temporal Logi Predi ates on the HappenedBefore Model

V. K. Garg
  • 2002

Dynami event generation for runtime he kingusing the JDI

M. Moller.
  • Runtime Veri ation
  • 2002

A partial approa h to model he king

P. Wolper.
  • 2001

On Dete ting Global Predi ates in DistributedComputations

V. K. Garg
  • 2001

A Stubborn Atta k On State Explosion

A. Valmari.
  • 2000

Model he king using net unfoldings

J. Esparza.
  • SPIN ModelChe king and Veri ation , volume 1885 of LNCS , pages
  • 2000

EÆ ient Dete tion of GlobalProperties in Distributed Systems Using PartialOrder Methods

L. Unnikrishnan, Y. A. Liu.
  • 1998