Met ingang van vandaag biedt Verum de nieuwe versie van zijn ASD:Suite gratis ter download aan. Release 3 is volledig uit te proberen voor een periode van dertig dagen. De omgeving is er ook in verschillende betaalde varianten, met een instapprijs van duizend euro. ASD maakt het mogelijk om het softwareontwerp via een gepatenteerd wiskundig model te controleren op compleetheid en correctheid, waarna de bijbehorende code foutloos is te genereren in C, C++, C# of Java.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.