Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.

Project Activity

See All Activity >

Categories

Algorithms, Electronic Design Automation (EDA), Education

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Silicis- formal [verification] framework

Silicis- formal [verification] framework Web Site

Other Useful Business Software
Cut Data Warehouse Costs by 54% Icon
Cut Data Warehouse Costs by 54%

Easily migrate from Snowflake, Redshift, or Databricks with free tools.

BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Silicis- formal [verification] framework!

Additional Project Details

Operating Systems

BSD, Linux, Windows

Intended Audience

Advanced End Users, Developers, Education, Manufacturing, Quality Engineers, Science/Research

User Interface

Eclipse

Programming Language

C, Java

Related Categories

C Algorithms, C Electronic Design Automation (EDA) Software, C Education Software, Java Algorithms, Java Electronic Design Automation (EDA) Software, Java Education Software

Registered

2006-05-16
Report inappropriate content