[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Exploring TLC checkpoint states
- From: Jaak Ristioja <jaak.r...@xxxxxxxx>
- Date: Fri, 8 Jan 2016 15:27:38 +0200
- User-agent: curl/7.45.0
A model checking run seems to be taking too long to complete. Is it
somehow possible to explore the graph of visited states using the
periodical checkpoint data?