Esterel Technologies
444 Castro Street #818
Mountain View, CA 94041
Phone: 650-641-3250
FAX: 650-988-8541
Email: info@esterel-technologies.com
URL: www.esterel-technologies.com
Esterel Technologies' tools and design & consulting services allow developers to create correct-by-construction products. Our solutions automate the development of unambiguous specifications that can generate an automated implementation guaranteed to match the specification 100%.
The specification, developed in text and/or graphics, becomes the golden reference model for team members and between customer and supplier greatly improving their communication. Their ability to automatically generate the implementation from this specification completely removes the possibility of errors being created between the specification and implementation phase and typically also saves up to 50% of traditional verification cost and effort.