Welcome

You've reached the formalspace wiki. If you have a strong interest in any of this work and want to contribute, please read contributing, and then contact the maintainer.

Project Description
Elision The Elision term rewriter
Experimental Elision (restricted) An experimental rewrite of Elision
MCUM Markov Chain Usage Models
Mons Pico Malware handling
SBS Sequence-Based Specification