| layout | show_home |
|---|---|
default |
false |
We're a group of researchers interested in formal methods and verification techniques for software reliability.
We make a number of different utilities available as open-source software, usually originally written for research purposes.
From our research into password strength/quality, we make a variety of research utilities available. Browse password quality utilities.
From our research into software synthesis, we make a small number of proof-of-concept projects available here. Browse software synthesis.