Runtime Vеrification
Dorel Lucanu is full professor at the Faculty of Computer science, Alexandru Ioan Cuza University of Iasi, Romania. His research interests are within the area of formal methods applied in software engineering, with focus on logics for programs (rewriting logic, matching logic), coinductive reasoning, program analysis and verification.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.