2ea5de4d68
checking finite state systems against specifications the temporal logic CTL (Computational Tree Logic). PR: ports/59429 Submitted by: Marc van Woerkom <marc.vanwoerkom@fernuni-hagen.de>
21 lines
681 B
Plaintext
21 lines
681 B
Plaintext
bin/smv
|
|
share/smv/smv-mode.el
|
|
%%PORTDOCS%%%%DOCSDIR%%/NEW
|
|
%%PORTDOCS%%%%DOCSDIR%%/README
|
|
%%PORTDOCS%%%%DOCSDIR%%/smvmanual.ps
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/counter.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/dme1.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/dme2.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/featuring.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/gigamax.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/mutex.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/mutex1.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/periodic.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/ring.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/semaphore.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/short.smv
|
|
%%PORTDOCS%%%%EXAMPLESDIR%%/syncarb5.smv
|
|
%%PORTDOCS%%@dirrm %%DOCSDIR%%
|
|
%%PORTDOCS%%@dirrm %%EXAMPLESDIR%%
|
|
@dirrm share/smv
|