From its founding, in 1983, through 1997 Computational Logic Inc. (CLI) performed
advanced research and development in mathematical modeling of digital
hardware and software systems. This web site provides an archive for
those results.
In collaboration with
Javasoft and
Schlumberger Electronic Transactions,
Computational Logic is pleased to make available
a draft formal model of the Java Virtual Machine. This
effort resulted in a model of a significant
portion of the Java Card subset of the JVM.
