Skip to content

@WindhoverLabs Windhover Labs

@lorenzo-gomez-windhover
Lorenzo Gomez lorenzo-gomez-windhover
lgomez@windhoverlabs.com

Windhover Labs

@onurturhan
Onur Turhan onurturhan

Turkey

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@clogan-WHL
Cary Logan clogan-WHL
@mgoundry
mgoundry