Topic: formal-methods Goto Github
Some thing interesting about formal-methods
Some thing interesting about formal-methods
formal-methods,Automated Schedule Generation for Time-Sensitive Networks (TSN).
User: acassimiro
formal-methods,ACL2 System and Books as Maintained by the Community
Organization: acl2
Home Page: http://www.cs.utexas.edu/users/moore/acl2
formal-methods,Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Organization: adacore
formal-methods,A verification toolchain for Rust programs
Organization: aeneasverif
formal-methods,Interface with the rustc compiler for the purpose of program verification
Organization: aeneasverif
formal-methods,Frama-C and WP tutorial
User: allanblanchard
formal-methods,[research] A modular SMT solver in OCaml, based on mcSAT
User: c-cube
Home Page: https://c-cube.github.io/mc2/
formal-methods,Creusot helps you prove your code is correct in an automated fashion.
Organization: creusot-rs
formal-methods,CoreIR Symbolic Analyzer
User: cristian-mattarei
formal-methods,
Organization: data61
formal-methods,Formal semantics of LLVM IR in K
User: davidlazar
formal-methods,A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
User: doganulus
Home Page: https://doganulus.github.io/reelay/
formal-methods,An instructional website with progressively worked examples of TLA+ specifications and model checking.
User: elliotswart
Home Page: https://elliotswart.github.io/pragmaticformalmodeling/
formal-methods,Verification framework and tool for higher-order Scala programs
Organization: epfl-lara
Home Page: https://stainless.epfl.ch
formal-methods,MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
User: florianschanda
formal-methods,Public snapshots of "ACSL by Example"
Organization: fraunhoferfokus
formal-methods,Galois RISC-V ISA Formal Tools
Organization: galoisinc
formal-methods,A modular sat/smt solver with proof output.
User: gbury
Home Page: https://gbury.github.io/mSAT/
formal-methods,HACL*, a formally verified cryptographic library written in F*
Organization: hacl-star
formal-methods,Learn TLA+ for free! No prior experience necessary!
User: hwayne
Home Page: https://www.learntla.com
formal-methods,The Verifiably Safe Reinforcement Learning Framework
Organization: ibm
formal-methods,Imandra FIX Engine
Organization: imandra-ai
formal-methods,Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
Organization: input-output-hk
formal-methods,A Coq-based synthesis of Scala programs which are correct-by-construction
User: jbakouny
formal-methods,Collection of resources for research concerning Machine Learning and Formal Methods.
User: jdnklau
formal-methods,Links to tools by subject
User: johnyf
formal-methods,Lean 3's obsolete mathematical components library: please use mathlib4
Organization: leanprover-community
Home Page: https://leanprover-community.github.io/lean3
formal-methods,A gently curated list of companies using verification formal methods in industry
User: ligurio
formal-methods,My own notes (drafts mostly) about software quality
User: ligurio
Home Page: https://github.com/ligurio/sqa-wiki/wiki
formal-methods,📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Organization: lisa-analyzer
Home Page: https://lisa-analyzer.github.io/
formal-methods,A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Organization: magmide
formal-methods,A core language for rule-based hardware design 🦑
Organization: mit-plv
formal-methods,The Overture Tool
Organization: overturetool
Home Page: http://overturetool.org
formal-methods,The P programming language.
Organization: p-org
Home Page: https://p-org.github.io/P/
formal-methods,Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
User: philzook58
formal-methods,Jupyter notebooks for tutorial on the Z3 SMT solver
User: philzook58
formal-methods,Verified Software Toolchain
Organization: princetonuniversity
Home Page: https://vst.cs.princeton.edu
formal-methods,Experimental Smart Contracts In Plutus.
User: robkorn
formal-methods,CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
User: sarsko
formal-methods,Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
User: satyendrabanjare
Home Page: https://satyendrabanjare.com/plt-formal-methods-resources
formal-methods,the champagne of beta embedded databases
User: spacejam
formal-methods,Cryptographic protocol analysis for real-world protocols.
Organization: symbolicsoft
Home Page: https://verifpal.com
formal-methods,TLA+ language support for Visual Studio Code
Organization: tlaplus
formal-methods,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-methods,A tool for Model Based Testing
Organization: torxakis
formal-methods,Neural Network Verification Software Tool
Organization: verivital
Home Page: http://www.verivital.com
formal-methods,Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
User: veyselusta
formal-methods,Library for building symbolically executable stack-based virtual machines
User: wilfredta
formal-methods,Node and GUI for the Zen Protocol.
Organization: zenprotocol
Home Page: https://www.zenprotocol.com
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.