Esterel Technologies

Esterel Technologies provides electronic systems architects and embedded software designers with a methodology and tools to secure their design flow at the earliest stage, while reducing their overall design and verification costs. Its flagship product, Esterel Studio uses Formal Methods technologies to automate the painstaking work of verifying and testing designs.

More Info | Previous Page | Company Search

If you found this page useful, bookmark and share it on: