Changes between Version 1 and Version 2 of CIVLite


Ignore:
Timestamp:
09/21/23 08:25:21 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CIVLite

    v1 v2  
    11
    22CIVLite: is an experimental light-weight model checking language and tool.
     3Emphasis on performance and parallelization (using C11 threads?).
    34
    45Types are: ints, proc, and arrays of any type.