Aegis VM0.1.1
A lightweight JVM supporting pluggable verification modules.
Thursday, June 13, 2002
- Development
- Languages
- Java
The Aegis VM Project is an on-going effort to implement a lightweight, secure virtual machine for executing Java bytecode. It will eventually feature a modular architecture, Proof Linking, that supports pluggable verification modules.
- linux
- Downloads1689
- LicenseLGPL
- PlatformsLinux (x86)
- Requirementslibjpr 0.1.0, GNU Classpath 0.0.3
- Tags
Downloads / Release History
Comments
No comment. Be the first to enter a comment.