source: vis_dev/vis-2.1/examples/rcnum/README @ 16

Last change on this file since 16 was 11, checked in by cecile, 13 years ago

Add vis
File size: 284 bytes
Line 
1This directory contains a circuit for the computation of the so-called
23n+1 numbers. The CTL formula checks that all trajectories that do not
3overflow end up in the cycle 4-2-1.
4
5This 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.