Logik und Formale Methoden

Improved On-The-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for DFS-FIFO

  • Autor(en):

    Alfons Laarman, David Faragó

  • Quelle:

    Proceedings of the 5th NASA Formal Methods Symposium (NFM 2013), NASA Ames Research Center, CA, USA, May 14-16, 2013. LNCS, Springer, 2013.

  • Datum: May 14-16, 2013