Topic: formal-verification Goto Github
Some thing interesting about formal-verification
Some thing interesting about formal-verification
formal-verification,ACL2 System and Books as Maintained by the Community
Organization: acl2
Home Page: http://www.cs.utexas.edu/users/moore/acl2
formal-verification,Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Organization: adacore
formal-verification,A verification toolchain for Rust programs
Organization: aeneasverif
formal-verification,Reads a state transition system and performs property checking
User: aman-goel
formal-verification,Athena is a modern, practical language for proof engineering & natural deduction.
Organization: athenafoundation
formal-verification,A curated set of links to formal methods involving provable code.
User: awesomo4000
formal-verification,A List of Free and Open Source Hardware Verification Tools and Frameworks
User: ben-marshall
formal-verification,CakeML: A Verified Implementation of ML
Organization: cakeml
Home Page: https://cakeml.org
formal-verification,Creusot helps you prove your code is correct in an automated fashion.
Organization: creusot-rs
formal-verification,CoreIR Symbolic Analyzer
User: cristian-mattarei
formal-verification,
Organization: data61
formal-verification,Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Organization: fizzbee-io
Home Page: https://fizzbee.io
formal-verification,Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
Organization: formal-land
formal-verification,Release snapshots of the Frama-C platform for source code analysis
Organization: frama-c
Home Page: http://frama-c.com
formal-verification,Public snapshots of "ACSL by Example"
Organization: fraunhoferfokus
formal-verification,HACL*, a formally verified cryptographic library written in F*
Organization: hacl-star
formal-verification,Please see https://github.com/hacspec/hax
Organization: hacspec
Home Page: https://hacspec.org
formal-verification,A Rust verification tool
Organization: hacspec
Home Page: https://hacspec.org/blog
formal-verification,Learn TLA+ for free! No prior experience necessary!
User: hwayne
Home Page: https://www.learntla.com
formal-verification,The Verifiably Safe Reinforcement Learning Framework
Organization: ibm
formal-verification,Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
Organization: input-output-hk
formal-verification,Information about the Interchain Foundation Funding Program
Organization: interchainio
Home Page: https://interchain.io/funding
formal-verification,Collection of resources for research concerning Machine Learning and Formal Methods.
User: jdnklau
formal-verification,Scalable symbolic-numeric set computations in Julia
Organization: juliareach
Home Page: https://juliareach.github.io/LazySets.jl/
formal-verification,Computing reachable states of dynamical systems in Julia
Organization: juliareach
Home Page: https://juliareach.github.io/ReachabilityAnalysis.jl/
formal-verification,a safety verifier for Solidity smart contracts
Organization: kupl
formal-verification,Tools for Yul.
User: leonardoalt
formal-verification,A gently curated list of companies using verification formal methods in industry
User: ligurio
formal-verification,A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Organization: magmide
formal-verification,A Fast and Safe Python based on PyPy
Organization: mesalock-linux
formal-verification,Horus, a formal verification tool for StarkNet smart contracts.
Organization: nethermindeth
Home Page: https://nethermind.io/horus/
formal-verification,An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
User: newca12
formal-verification,十分钟魔法练习
User: niltok
Home Page: https://magic.huohuo.moe
formal-verification,The P programming language.
Organization: p-org
Home Page: https://p-org.github.io/P/
formal-verification,Verified Software Toolchain
Organization: princetonuniversity
Home Page: https://vst.cs.princeton.edu
formal-verification,Formal specification and verification of hardware, especially for security and privacy.
Organization: project-oak
formal-verification,CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
User: sarsko
formal-verification,XCrypto: a cryptographic ISE for RISC-V
Organization: scarv
formal-verification,Correctness proofs of Ethereum token contracts
Organization: sec-bit
formal-verification,The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.
Organization: sifive
formal-verification,formally verified category theory library
Organization: statebox
formal-verification,My personal repository of formally verified mathematics.
User: stepchowfun
formal-verification,😎 💡 Collection of the most awesome learning resources on computer systems in the form of videos, courses and tutorials.
User: tensorush
formal-verification,Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
User: tmeissner
formal-verification,SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
User: tofgarion
formal-verification,Awesome ASIC design verification
User: troyguo
formal-verification,Neural Network Verification Software Tool
Organization: verivital
Home Page: http://www.verivital.com
formal-verification,A static verifier for Rust, based on the Viper verification infrastructure.
Organization: viperproject
Home Page: http://prusti.org
formal-verification,Toolset to capture, simulate, synthesize and verify graph models
Organization: workcraft
Home Page: https://workcraft.org
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.