COMPUTATIONAL LOGIC, INC.
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
In collaboration with
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.