Our lab is a very exciting place to learn and work!
Clafer Model Repository
Please consult Clafer documentation if you want to learn more about the language.
| eCos | eCos is a configurable real-time operating system. The zip file provides 116 Clafer models intended for various architectures. |
| Linux Kernel v2.6.32 | The archive contains Boolean feature model of the Linux Kernel v2.6.32 for the i386 architecture |
See the Feature Models in the Wild project for more information on these models.
