- Spot (https://spot.lrde.epita.fr/)
Inside the terminal
$- python rvImpInf.py "<LTL>" "<AP>" "<Indistinguishability>" <file>
Just as an example
$- python rvImpInf.py "X a" "[a,b,c]" "[a,b]" test.txt
To test property presented in SEFM 2022 paper:
$- sh test_paper_property.sh