https://github.com/utwente-fmt/BW-NFM2016
Tip revision: 263c23140884aa64963c5d51fd2a9847c3aa941e authored by Jeroen Meijer on 26 February 2016, 15:51:34 UTC
Update README.md
Update README.md
Tip revision: 263c231
File | Mode | Size |
---|---|---|
data | ||
reach-data | ||
spec | ||
.gitignore | -rw-r--r-- | 129 bytes |
LICENSE | -rw-r--r-- | 34.3 KB |
README.md | -rw-r--r-- | 10.8 KB |
analysis-reach.r | -rwxr-xr-x | 8.7 KB |
analysis.r | -rwxr-xr-x | 10.9 KB |
csv2mtrx.r | -rwxr-xr-x | 1.3 KB |
data-reach.csv | -rw-r--r-- | 831.0 KB |
data.csv | -rw-r--r-- | 11.6 MB |
example.pnml | -rw-r--r-- | 2.4 KB |
ltsmin2csv-reach.sh | -rwxr-xr-x | 6.0 KB |
ltsmin2csv.sh | -rwxr-xr-x | 5.6 KB |
mcrl22all | -rwxr-xr-x | 372 bytes |
mtrx2csv | -rwxr-xr-x | 289 bytes |
run-experiments.sh | -rwxr-xr-x | 10.2 KB |
run-reach.sh | -rwxr-xr-x | 13.9 KB |