Topic: runtime-verification Goto Github
Some thing interesting about runtime-verification
Some thing interesting about runtime-verification
runtime-verification,TypeScript please give us types.
User: akutruff
Home Page: https://www.typescriptneedstypes.com
runtime-verification,Prototype of a Multi-Model Predictive Runtime Monitor in Python
User: angeloferrando
runtime-verification,RVPlan: Runtime Verification of Assumptions in Automated Planning
User: angeloferrando
runtime-verification,Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime
Organization: astrohelm
Home Page: https://astrohelm.ru
runtime-verification,ROSMonitoring: a Runtime Verification Framework for ROS
Organization: autonomy-and-verification-uol
runtime-verification,A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
Organization: autonomy-and-verification
runtime-verification,A stream-based runtime-verification framework for generating hard real-time C code.
Organization: copilot-language
Home Page: http://copilot-language.github.io
runtime-verification,(DEPRECATED) Intermediate representation for Copilot.
Organization: copilot-language
runtime-verification,(DEPRECATED) Front-end of Copilot defining the user language.
Organization: copilot-language
runtime-verification,A Tool for Runtime Monitoring and Verification of Self-adaptive Systems
User: davimonteiro
runtime-verification,Toolbox for software dependability engineering of artificial neural networks
Organization: dependable-ai
runtime-verification,A pure Python package to monitor formal specifications over temporal sequences
User: doganulus
runtime-verification,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/
runtime-verification,A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
User: doganulus
runtime-verification,A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
User: doganulus
runtime-verification,A tool for reactive synthesis with monitor triggers.
Organization: dsynma
runtime-verification,A runtime verification tool for Erlang systems
User: duncanatt
Home Page: https://duncanatt.github.io/detecter
runtime-verification,A lightweight runtime verification tool for Erlang programs
User: duncanatt
runtime-verification,Run time assertions with panics for Go
Organization: ettle
runtime-verification,Release snapshots of the Frama-C platform for source code analysis
Organization: frama-c
Home Page: http://frama-c.com
runtime-verification,Validating data acts as a gatekeeper, parsing them into meaningful data types adds valuable information to raw data
User: gervinfung
Home Page: https://www.npmjs.com/package/parse-dont-validate
runtime-verification,Tools to manage RV monitors created from HPL
User: git-afsantos
runtime-verification,Tools to enable Runtime Verification in ROS using HPL properties
Organization: haros-framework
runtime-verification,Rewriting Algorithm for Time Window Temporal Logic
User: iamumairs
runtime-verification,Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
Organization: ista-vamos
runtime-verification,The main VAMOS repository
Organization: ista-vamos
runtime-verification,Monitoring hyperproperties with Multi-trace prefix transducers
Organization: ista-vamos
runtime-verification,Automated data race detection from a distributed trace via SMT constraint solving
User: jcp19
runtime-verification,A Tool for Timed Patten Matching with Automata-Based Acceleration
User: maswag
runtime-verification,Runtime Verification of Timed Regular Expressions in Larva
User: migueldingli1997
runtime-verification,LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs. Originally implemented for C/C++ , though, has a variety of front-ends, including Java, Python, etc.
User: mikeroyal
runtime-verification,The runtime monitoring tool for smart contracts high-level properties.
User: mojtaba-eshghie
Home Page: https://arxiv.org/abs/2305.08254
runtime-verification,MoonLight: a light-weight framework for runtime monitoring.
Organization: moonlightsuite
Home Page: https://moonlightsuite.github.io/moonlight/
runtime-verification,Convert LTL formulas into finite-state automata for monitoring
User: nondeterministic
Home Page: http://ltl3tools.sourceforge.net
runtime-verification,Runtime assertion checking based on Gospel specifications
Organization: ocaml-gospel
Home Page: https://ocaml-gospel.github.io/ortac/
runtime-verification,A repo containing basic examples on usage of the arccore.Filter library.
User: phil-kahrl
runtime-verification,Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
Organization: runtime-monitoring
Home Page: https://runtime-monitoring.github.io/explanator2/
runtime-verification,Case study in monitoring a Solidity smart contract with a deontic logic specification language.
User: shaunazzopardi
runtime-verification,An attempt at runtime verification of Ethereum smart contracts.
User: shaunazzopardi
runtime-verification,The bench is the main repo for projects that need pass/no pass calibration testing. It takes a physical inventory of script properties to determine if a build is possible.
Organization: snippet-university
runtime-verification,Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021
Organization: star-rg
runtime-verification,Analysis tool for Solidity smart contracts. Prototype.
User: verabe
runtime-verification,Scripts to apply code analyzers to Debian packages.
User: yugr
runtime-verification,A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue
User: yugr
runtime-verification,Clang plugin which fills structure pads to provoke buffer overflow errors
User: yugr
runtime-verification,A simple 5-minute checker which simulates OOM failures by returning NULL from malloc
User: yugr
runtime-verification,Proof-of-concept tool for checking signal handlers for reentrancy issues.
User: yugr
runtime-verification,Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
User: yugr
runtime-verification,a solidity runtime verification tool based on LTL.
User: zeraka
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.