Hide content and notifications from this user.
Contact Support about this user's behavior.
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A curated list of awesome Java frameworks, libraries and software.
The Wildfire Verification Challenge Problem
TLA+ and Alloy specs of database isolation
FUSE implementation in Java using Java Native Runtime (JNR)
Presentation & Code Samples Showing Compilation & Deoptimization Behavior of HotSpot
Automatically exported from code.google.com/p/s2-geometry-library-java
Java Abstracted Foreign Function Layer
Java serialization and cloning: fast, efficient, automatic
JInterface replacement based on Scalang