Measuring Progress of Probabilistic LTL Model Checking

@inproceedings{CormieBowins2012MeasuringPO,
  title={Measuring Progress of Probabilistic LTL Model Checking},
  author={Elise Cormie-Bowins and Franck van Breugel},
  booktitle={QAPL},
  year={2012}
}
  • Elise Cormie-Bowins, Franck van Breugel
  • Published in QAPL 2012
  • Computer Science, Mathematics
  • Recently, Zhang and Van Breugel introduced the notion of a progress measure for a probabilistic model checker. Given a linear-time property P and a description of the part of the system that has already been checked, the progress measure returns a real number in the unit interval. The real number captures how much progress the model checker has made towards verifying P. If the progress is zero, no progress has been made. If it is one, the model checker is done. They showed that the progress… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-2 OF 2 CITATIONS

    Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond

    VIEW 2 EXCERPTS
    CITES METHODS & BACKGROUND

    Towards model checking of computer games with Java PathFinder

    • Nastaran Shafiei, Franck van Breugel
    • Computer Science
    • 2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS)
    • 2013
    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-9 OF 9 REFERENCES

    Model Checking Randomized Algorithms with Java PathFinder

    VIEW 4 EXCERPTS

    Model checking programs