Meeting ASIL C and D with Formal Methods - Just Auto Zenseact develops world-leading safety software for passenger cars. As an AI and software company dedicated to revolutionizing car safety, Zenseact designs the complete software stack for autonomous d...

Après NVidia, c'est Zenseact, une startup issue de Volvo qui fournit des logiciels pour voitures autonomes, qui choisit Spark pour ses développements.

Nous, on trouve que c'est une bonne idée :)

www.just-auto.com/sponsored/me...

#spark #ada #adalanguage #formal_methods

CafeOBJ 1.6.2 released | There and back again We have released version 1.6.2 of CafeOBJ, an algebraic specification and verification language. It has been a long time since we made a formal release. There has been an internal release that really ...

Long overdue, a new release of CafeOBJ - algebraic specification and verification language - CafeOBJ 1.6.2 released www.preining.info/blog/2024/11... #cafeobj #math #logic #verification #formal_methods

Research Associate - Assurance for Robotic Autonomous Systems:Manchester

I have a PDRA post available in Assurance for Robotic Autonomous Systems. Really looking for someone with some experience of formal verification or possibly a background in CyberSecurity. Details at: www.jobs.manchester.ac.uk/Job/JobDetai... #formal_verification #formal_methods #academic_jobs