| changeset 7296 | 81286f228b2d |
| parent 7194 | 5a80f69d6c62 |
| child 7762 | c98d70538033 |
| 7295:fe09a0c5cebe | 7296:81286f228b2d |
|---|---|
133 |
133 |
134 # SVC (Stanford Validity Checker) |
134 # SVC (Stanford Validity Checker) |
135 #SVC_HOME= |
135 #SVC_HOME= |
136 #SVC_MACHINE=i386-redhat-linux |
136 #SVC_MACHINE=i386-redhat-linux |
137 #SVC_MACHINE=sparc-sun-solaris |
137 #SVC_MACHINE=sparc-sun-solaris |
138 |
|
139 # Mucke (mu-calculus model checker) |
|
140 #MUCKE_HOME=/usr/local/bin |
|
141 |
|
142 # Einhoven model checker |
|
143 #EINDHOVEN_HOME=/usr/local/bin |