Silicis- formal [verification] framework download

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 >

License

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

Follow Silicis- formal [verification] framework

Silicis- formal [verification] framework Web Site

nel_h2

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

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

Similar Business Software

Symbiotic EDA Suite

Find bugs early and raise the confidence in your design by using formal checks and formal properties. Apply formal early on in the design process wherever it makes sense for your application. Use formal cover traces to further your design understanding and answer hard questions about the design...

See Software
TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

See Software
3SL Cradle

Manage needs, epics, user stories, features and the product backlog through a series of sprints, each using your choice of requirements management, model based systems engineering (MBSE) and test management with your preferred level of change tracking, configuration management and formal change...

See Software
Prezent

Prezent is a cloud-based AI presentation software designed to optimize the entire process of crafting and delivering presentations. The platform uses AI algorithms to understand the unique needs and styles of each user, tailoring presentations to suit individual preferences and organizational...

See Software
Revenera SCA

Take control of your open source software management. Empower your organization to manage open source software (OSS) and third-party components. FlexNet Code Insight helps development, legal and security teams to reduce open source security risk and manage license compliance with an end-to-end...

See Software
Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same source code as Acrobat for...

See Software