Information Technology & Services - Sunnyvale, California, United States
Educed was created to exploit the application of formal methods for the development of safe and reliable software systems. Educed is motivated by the strong belief that mathematically-based techniques can support industry to achieve better engineering, overcoming many of the challenges and time-consuming tasks in the specification, development and verification of high integrity systems.