loonwerks

Pinned Repositories

AAHAA
DARPA AAHAA
3 8 00
AGREE
Assume-Guarantee REasoning Environment
Language:Java13 9 955
AMASE
This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
Language:Java7 7 194
BriefCASE
Language:Java2 9 100
CASE
DARPA CASE program
Language:Assembly13 19 17
formal-methods-workbench
Language:C20 12 187
jkind
JKind - An infinite-state model checker for safety properties in Lustre
Language:Java52 12 4832
jkind-xtext
Lustre Plug-in for Eclipse with JKind Analysis Support
Language:Java5 3 12
vnncomp2022
Benchmark problem for the 2022 VNN Competition
Language:Python20
vnncomp2023
Language:Python20

loonwerks's Repositories

loonwerks/jkind
JKind - An infinite-state model checker for safety properties in Lustre
Language:Java52 12 4832
loonwerks/formal-methods-workbench
Language:C20 12 187
loonwerks/AGREE
Assume-Guarantee REasoning Environment
Language:Java13 9 955
loonwerks/AMASE
This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
Language:Java7 7 194
loonwerks/BriefCASE
Language:Java2 9 100
loonwerks/Resolute
Language:Java2 9 271
loonwerks/vnncomp2022
Benchmark problem for the 2022 VNN Competition
Language:Python20
loonwerks/vnncomp2023
Language:Python20
loonwerks/AGREE-Updates
Composite Eclipse P2 update site for released versions of AGREE
1 8 01
loonwerks/AHMIIAS
Open repository for the NASA AHMIIAS project
Language:Java1 13 02
loonwerks/BriefCASE-Tutorial
Language:Assembly1
loonwerks/BriefCASE-Updates
Composite Eclipse P2 update site for released versions of BriefCASE
1 8 00
loonwerks/loonwerks.github.io
Language:HTML11
loonwerks/aadl-sysmlv2-annex
Experimental translation between AADL and SysMLv2
Language:Java
loonwerks/AGREE-CI-Action
GitHub Action for running AGREE analysis in a CI pipeline workflow
Language:Shell
loonwerks/AGREE-Toy-Example
Toy example illustrating AGREE analysis applied as part of CI/CD pipeline
loonwerks/AgreeDog
Language:Python
loonwerks/AMASE-Updates
Composite Eclipse P2 update site for released versions of AMASE
loonwerks/CoqDog
CoqDog Copilot, a web application for proof synthesis and repair using the Coq theorem prover
Language:Python
loonwerks/Cyber-Resilient-UAV
CASE UAV model for headless AGREE demo
Language:Assembly
loonwerks/formal-methods-workbench-updates
Composite Eclipse P2 update site for released versions of the various Formal Methods Workbench plug-ins
loonwerks/INSPECTA
loonwerks/INSPECTA-Assurance-Dashboard
Assurance Dashboard
Language:TypeScript
loonwerks/INSPECTA-models
Language:C
loonwerks/jkind-web
9 0
loonwerks/MATRICS
Language:Java
loonwerks/Resolute-MySQL-plugin
Resolute extension for accessing MySQL databases
Language:Java
loonwerks/Resolute-Updates
Composite Eclipse P2 update site for released versions of Resolute
1
loonwerks/splat
SPLAT: Semantic Properties for Language and Automata Theory
Language:Standard ML13 0
loonwerks/syside-for-agree
Language:TypeScript