Home | english  | Impressum | Sitemap | KIT

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

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