Ocelot Rela%onal Logic in a Solver-Aided Language James Bornholt Emina Torlak

First Page		Document Content
Date: 2018-06-13 06:07:43 Fiction Formal methods Military personnel Alloy Massachusetts Institute of Technology Z notation Revolver Ocelot Ocelot Digital subscriber line		Ocelot Rela%onal Logic in a Solver-Aided Language James Bornholt Emina Torlak Add to Reading List Source URL: alloytools.org Download Document from Source Website File Size: 113,68 KB Share Document on Facebook