![](http://toolbox.megamart2-ecsel.eu/sites/default/files/megamart/public/styles/medium/public/content-images/toolbox/uaq_icon.jpeg?itok=VEzq72_E)
AIPHS
Adaptive Profiling HW Sub-system (AIPHS) supports designers on the development of On-Chip Monitoring Systems (OCMSs) able to satisfy given Monitorability Requirements
![](http://toolbox.megamart2-ecsel.eu/sites/default/files/megamart/public/styles/medium/public/content-images/toolbox/smartesting_0.png?itok=jQcyIWTk)
CertifyIt
Smartesting CertifyIt tool is a model-based test generation tool enabling end-to-end testing
![](http://toolbox.megamart2-ecsel.eu/sites/default/files/megamart/public/styles/medium/public/content-images/toolbox/smartesting.png?itok=9STDkaoY)
MBeeTle
MBeeTle is an on-the-fly testing tool for runtime testing, an add-on to CertifyIt
![](http://toolbox.megamart2-ecsel.eu/sites/default/files/megamart/public/styles/medium/public/content-images/toolbox/LogoAtlanmod135px_1.png?itok=ZbVrVG7g)
VeriATL
Fine-Grained Incrementality for Deductive Verification of Model Transformations (Online)