R&D Projects
Confirmed projects database queries
Call for Research and Development Projects, in the Framework of the Carnegie Mellon University - Portugal Program - 2009
ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems
CMU-PT/ELE/0009/2009
-
Main Research Area
-
Software Engeneering for Large Scale Robust Systems
-
Secondary Research Area
-
Cyber-physical systems for environmental Intelligence
-
Keywords
-
Software Verification
-
Model Checking
-
Decision Procedures
-
Proof Certificates
-
Funding
- €
167,889.00
Project institutions not found