Context Navigation

README @ 16

Last change on this file since 16 was 11, checked in by cecile, 13 years ago
Add vis
File size: 323 bytes

Rev	Line
[11]	1	There are two versions of the 3 philosopher here. The one
	2	ctlp3 is the same as in hsis (except for conversion to
	3	deterministic tables)
	4
	5	The second is a modification which used symbolic variables.
	6
	7	Both can be run with the script
	8	rlmv ctlp3x.v
	9	init
	10	mc ctlp3x.ctl // this fails
	11	rf ctlp3x.fair
	12	mc ctlp3x.ctl // this passes

Note: See TracBrowser for help on using the repository browser.