sliver 2.0
Please refer to README.txt
for installation and usage instructions.
Note that, from now on, SLiVER requires Python >= 3.8.
Changes since v1.7
- LNT translation: the "cadp" backend uses a new property translation workflow. The old workflow is still available as "cadp-monitor"
- Parser: Fixed a bug with arrays in link predicates and properties
- Parser: Basic support for a new "raw function call" process
$call(...)
- SLiVER: Updated dependencies (pyparsing and click)
- SLiVER: Better reporting, especially with
--verbose
- SLiVER: New CLI options
--property
and--no-properties
for property selection - SLiVER: New CLI options
--keep-files
- SLiVER: Fixed a bug in CSeq backend's parallel analysis which occasionally led to deadlocks