Automatic Malfunction Analysis (AMAN)


CFP: #118 Round: 19
Unversity/Faculty: Banha University Project Type: ARP Company: PiTechnologies
ITAC Fund: EGP 952,500 Start Date: 2/15/2016 End Date: Ongoing

Project Output:

A prototype of a software tool that provides automated software safety analysis based on formal modeling of the source code.