Home | deutsch  | Legals | 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
Author(s):

Alfons Laarman, David Faragó

Source: 5th NASA Formal Methods Symposium (NFM 201)
Date: May 14-16, 2013