Michael Dierkes

Michael Dierkes
Collins Aerospace · Engineering

PhD in Automated Theorem Proving

About

11
Publications
1,030
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
32
Citations
Introduction
Skills and Expertise
Analysis
Formal Verification
Model Checking
Translation
Static Analysis
Program Analysis
Software Testing
Formal Methods
Model Based Development

Network

Cited
View All
Cited By
View All