AdaCore Blog

Jerome Guitton

Jerome Guitton is a senior software engineer at AdaCore. After graduating from the french High School Telecom ParisTech, he joined AdaCore in 2002. Mostly involved in debugging and cross technologies, he also worked on various part of the technology: SPARK, GNAT coverage, certification.

1 entries written by Jerome Guitton

by Jerome Guitton, Jérôme Lambourg, Joel Brobecker

Simics helps run 60 000 GNAT Pro tests in 24 hours

This post has been updated in March 2017 and was originally posted in March 2016.

#Simics    #WindRiver    #GNAT Pro