xweiwang Goto Github PK

baseflight

32 bit fork of the MultiWii RC flight controller firmware

cfe

The Core Flight System (cFS) Core Flight Executive (cFE)

cpp-primer

C++ Primer 5 answers

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

edu.gatech.mbse.mdsysmlmodelica

Java-based implementation of the OMG SysML-Modelica Transformation (SyM) using MagicDraw SysML

edu.ufc.femtost.disc.sysml2modelica

ATL and Acceleo based transformation from SysML to Modelica

flight

Flight code for MIT CSAIL Robot Locomotion Group flying-through-forests project

mdp_classify

NASA MDP 软件缺陷数据集分类

nasadefectdataset

NASA Cleaned Defect Datasets

promise-backup

PRIMISE dataset for sofware defect prediction

smart-contract-formal-verification

Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker

softrf

:airplane: Multifunctional, compatible DIY general aviation proximity awareness system

software

spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

spin-1

spin promela

stratux

Aviation weather and traffic receiver based on RTL-SDR.

sysmlpromelatransformation

ATL Transformation from SysML to Promela

trafficlightsystem-uml-ecore

A Traffic Light System project in Eclipse Ecore Papyrus environment (in progress)

xweiwang

Config files for my GitHub profile.

xweiwang.github.io