palmskog/velodrome palmskog/velodrome

  • Stars
    star
    1
  • Language
    Java
  • License
    Other
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
palmskog/velodrome
github

palmskog

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The Velodrome sound atomicity checker as implemented in Jikes RVM 3.1.3 by Biswas et al.

More Repositories

1

fitch

Certified proof checker for Fitch-style propositional logic proofs
Standard ML
6
star
2

ocaml-light

Coq
6
star
3

coind-sem-while

Coinductive trace-based semantics for the While language in Coq
Coq
3
star
4

chip

Change impact analysis in Coq and OCaml
Coq
3
star
5

bitoychain

Coq
2
star
6

pcc

Coq formalization of a proof carrying code framework for inlined reference monitors in Java bytecode
Coq
2
star
7

redblack

Coq
1
star
8

why-programs

Programs verified using the why toolchain
Java
1
star
9

coind-traces

Coq
1
star