Taking on a Challenge in SPARK

Lobsters·12 points·hwayne·over 8 years ago·blog.adacore.com

AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.

Read the full article at blog.adacore.com →

#challenge #spark #formalmethods #software #provider #solutions #commercial #adacore

Related stories

Lobsters Interview with Susam
Lobsters · 86 points · about 1 year ago
Ask HN: Will software still matter when AI write all our programs?
Hacker News · 1 points · 7 days ago
Show HN: Local Software Factory – running multiple coding agents in parallelgithub.com
Hacker News · 1 points · 7 days ago
Software engineering in-the-large: the coordination challengesurfingcomplexity.blog
Lobsters · 7 points · over 4 years ago
Funding MIT Software with Commercial-Use Binariesyaak.app
Hacker News · 1 points · 8 days ago
The Software Dev's Primer on RobStride Motors for Roboticsdev.to
DEV Community · 3 points · 8 days ago

Related topics

ai2044 sanity30 join26 sanitychallenge10 devchallenge14 meta100 october18 software198 online57 legal16 abstain3