Fandom

Formal Methods Wiki

OBJ

120pages on
this wiki
Add New Page
Talk0 Share
VL2

Virtual Library
Computing
Software engineering
Formal methods

The OBJ archive

The OBJ archive contains information relevant to the OBJ3 and 2OBJ theorem provers and is available via anonymous FTP. OBJ was originated by Prof. Joseph Goguen.

An OBJ FORUM mailing list is available. To subscribe, send email to objforum-request@comlab.ox.ac.uk.

See:

See also Edit


Last updated by Jonathan Bowen, 24 March 2009.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.