npmjs.org : @isl-lang/static-analyzer
ISL static analyzer: tri-state logic (true/false/unknown) for postconditions and invariants without execution. Proves/disproves ISL conditions at compile time via type-constraint propagation.
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/%40isl-lang/static-analyzer
Keywords:
isl
, static-analysis
, expression
, postcondition
, invariant
, tri-state
, verification
, type-constraint
, proof
License: MIT
Latest release: about 18 hours ago
First release: about 18 hours ago
Namespace: isl-lang
Last synced: about 14 hours ago
Loading...
Readme
Loading...