Runtime Vеrification
Everett Hildenbrandt is a formal modeling engineer and product owner at RV. His interests include automated system analysis via symbolic model checking, rigorous software development via carefully designed development practices, and applying these techniques to the software used in the other sciences (eg. physics, biology). He strongly believes that programming languages and system description languages should not be put together in an ad-hoc manner, rather they should be carefully designed using state of the art language-building tools.
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.