Verified Systems Engineering Lab's repositories
hippodrome
An automatic program repair tool for data races in Java programs.
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
NUS-Racket
The Racket of NUSketeers on the high seas
NUSketeers-typed-racket
Typed Racket
Language:RacketNOASSERTION000
Language:TLA000
intellij-rust
Rust plugin for the IntelliJ Platform
Language:KotlinMIT000