Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
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.
