You can edit this project here. Please include a reason for your changes. This helps us to validate the changes. The changes will take effect as soon as possible after we have checked their validity.

Minepump c

Short description

Description
Version of the MinePump product line in C with behavior specifications. Used for evaluation in model checking context. Specifications implemented in a custom aspect-oriented language. We could only use very limited C for this project (no pointers, no arrays). Product line is based on Kramer et al: CONIC: An Integrated Approach to Distributed Computer Control Systems. (1983)

Generator

Authors

Institution

Language

Development tool

Number of features

Lines of code

Number of classes

Number of products

Repository

Website

License

Reason for change

Email: (not visible)

Initial date

Please type the abbreviation for software product line:

Back