Details
| Acronym | faveAC |
|---|---|
| Status | Finished |
| Start/end date | 1 Mar 2017 → 29 Feb 2020 |
Funding
???details???
Funding type
Funding scheme
- German Research Foundation (DFG)
- Project Proposals by Individuals
- Individual Research Grants (Sachbeihilfe)
faveACFormal Abstraction and Verification of Analog Circuits
Project: Research
Participants
- Markus Olbrich (Principal Investigator)
Research Organisations
External collaborative partners
- Leibniz University Hannover (lead)
- Technical University of Munich (TUM) (Joint applicant)
- Goethe University Frankfurt (Joint applicant)