Context Navigation

README @ 11

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

Rev	Line
[11]	1	This directory contains a circuit for the computation of the so-called
	2	3n+1 numbers. The CTL formula checks that all trajectories that do not
	3	overflow end up in the cycle 4-2-1.
	4
	5	This model uses 26-bit numbers and model checking takes substantial time
	6	(about 3 hours on a 200MHz P6).

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