How does PAT support fairness at both weak and strong process level, and what improvements have been made for non-buchi-fair loops? Answer according to: PAT: Process Analysis Toolkit – 09, Mar, 2009: PAT 2.1.0 is released!
In this release, we supported process level fairness and improve the performance and fix bugs. The parameterized verification (handling infinite number of threads) is under implementation now. We will release a new version soon once we have tested the programs.
Process level week and strong fairness is supported in PAT.
4 Fair-Loop checking is improved for the non-buchi-fair loops.
1 Remove the tree data manager since the memory saving is not significant and memory is cheap now.
2 Fairness options are grouped into a combobox. The options are dynamically changed according to the applicablity.
← 05, Jan, 2009: PAT 2.0 is released!
This prompt doesn't seem malicious.