Topic: frama-c Goto Github
Some thing interesting about frama-c
Some thing interesting about frama-c
frama-c,Using an automated software engineering tool like Frama-C to analyze a program or system.
User: adishreea
frama-c,Frama-C and WP tutorial
User: allanblanchard
frama-c,sonar-frama-c-plugin is a plugin sonarqube to integrate frama-c results
Organization: cnescatlab
frama-c,Tiny programs with ACSL specifications.
User: evdenis
frama-c,Fully proved small C functions (examples for verification course).
User: evdenis
frama-c,Small examples of ACSL specifications.
User: evdenis
frama-c,Linux kernel library functions formally verified.
User: evdenis
frama-c,Docker image for Frama-C
Organization: facthunder
frama-c,Release snapshots of the Frama-C platform for source code analysis
Organization: frama-c
Home Page: http://frama-c.com
frama-c,Github Action for running the Eva plug-in and producing a SARIF report
Organization: frama-c
frama-c,Public snapshots of "ACSL by Example"
Organization: fraunhoferfokus
frama-c,Inlining of ACSL predicates and logic functions
User: gpetiot
frama-c,Static & Dynamic Verification of C programs
User: gpetiot
frama-c,exploring program slicing and documenting my discoveries
User: guilhermebn198
frama-c,Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
User: jcarrano
frama-c,A complete basic implementation of Queue data structure tested in Frama-c
User: mriiad
frama-c,generative programming & verification
User: namin
frama-c,Cybersecurity master courses
User: nclv
frama-c,Programming Languages
User: pbougou
frama-c,This repository contains the end-of-semester project at ISEP in formal approach. The aim was to prove the proper functioning of a bubble sorter via frama-c.
User: pierreverbe
frama-c,Frama-C is a suite of tools for analyzing C code, verifying correctness, and detecting issues. This repository includes folders for programming exercises and code analysis, covering basic programs, arrays, and loops.
User: richasavant
frama-c,Frama-C plugin for deadlock detection
User: tdacik
frama-c,Assignments for the Theory of Programming(3rd Course)/Methods of Program Verification and Optimization(5th Course) course.
User: vladkinoman
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.