Home
Soleil
Hulotte
Download
Publications
Authors
Soleil Framework
Soleil Formalization in Alloy
Soleil in Alloy, (0.5MB)
Case studies
Sweet Factory, (1.5MB)
Real-time Collision Detector, (2.5MB).
You can also download
the original implementation of the Collision Detector.
Distributed Programming in Soleil, (9.5MB)
Ambient Programming in Soleil, (1.6MB)
