1 Results for all

Can't find a software application?

Submit it to OStatic

Applied Filters

advanced users
gnu lesser general public license (lgpl)
manufacturing
algorithms

Filter Results

Click a filter below to apply it to results

APPLICATION TYPE
OSS (1)
CATEGORY
eda (1)
education (1)
electronic design automation (1)
ALTERNATIVE
AUDIENCE
developers (1)
education (1)
quality assurance (1)
scienctific research (1)
view more
LICENSE

Open Source Software - silicis  silicis

0 alternatives0 reviews

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global fra...