AdaLabs

We strive to create technologies with purpose, and focus on our clients' systematic success

[AdaLabs @AdaLabs]

Small but Mighty: Ada, Mauritius, and 15 Years of Innovation
https://t.co/fV2mPLktza

[AdaCore | Tools for High-Integrity Development @AdaCoreCompany]

Check out our latest case study and learn why @NVIDIA, a leader and innovator in the software security domain, has adopted the SPARK programming language for its most security-critical development projects. https://t.co/EPWZz0H4C9 #security, #NVIDIA, #SPARK, #FormalVerification

[AdaCore | Tools for High-Integrity Development @AdaCoreCompany]

Check out Claire's article about “The Work of Proof in SPARK” where she gives insights on how the tool works in practice and what are the most important challenges as of today. https://t.co/yDuM33CXFo
#spark #softwaredevelopment

[NVIDIA PSIRT @NVIDIAPSIRT]

Going to #DEFCON30? Check out @Adam_pi3 & @AlexTereshkin's talk Exploitation in the era of formal verification: a peek at a new frontier with AdaCore/SPARK https://t.co/pXQPRTTbXt Sunday at 11:00, Track 1.

[AdaLabs @AdaLabs]

Is TypeScript suitable for safe and secure programming ?
Can you spot the potential vulnerability in the code snippet below ?
Hint: the private method _verifySignatures returns a boolean
#Blockchain

[AdaLabs @AdaLabs]

While https://t.co/hbtjMYKG6j will only contains forked COTS (i.e aunit lts-21-adalabs fork recently published). GNATGPR (GPR projects swiss knife) and RTS-AdaLabs (Ada run-time dedicated to test and simulation) have landed in https://t.co/mANzKvFgwM #Adaprogramming

[AdaCore | Tools for High-Integrity Development @AdaCoreCompany]

Check out our drawing robot programmed in #Ada and #Ravenscar, running on the new radiation-hardened microcontroller from @MicrochipTech (SAMRH71)! Come and visit us at #SpaceTechExpoEU - booth G58 to see it live.
#Adaprogramming #microchip #spacetech

[AdaLabs @AdaLabs]

teamate-client released for friendly & secure remote peer reviews integrated to GNAT Studio, for teams to keep Agile while coding @ home
https://t.co/ZJXAmfLLzG
https://t.co/ZzawodBacZ

[AdaLabs @AdaLabs]

Great thanks to xrdp project team for the RemoteFX codec support that amazingly improves rdp sessions ! #xrdp #thinclient #debian

[AdaLabs @AdaLabs]

Congratulations Ingrid CHERRY (third from right), @AdaLabs Software Engineering Trainee from UTM, at the NPCC Young Entrepreneurs workshop

[AdaLabs @AdaLabs]

#AdaLabs 2017 Software Roadmap available. https://t.co/UcvjDAfxJQ

[AdaLabs @AdaLabs]

https://t.co/ytMroIWNk7 Ada on Rails Web Objects enhance reusability and agility with an innovative 'Data Model Convergence' paradigm

[AdaLabs @AdaLabs]

@ianopenvmsorg Could you email me more information about your needs ? we will be happy to update you concerning the compiler availability.

[AdaLabs @AdaLabs]

@ianopenvmsorg sorry for the late feedback Ian, next is that Ada is back on OpenVMS IA64 :-)

[AdaLabs @AdaLabs]

So excited to welcome ARM Cortex-M4-based on our high-end embedded lines. STM32F4 running Ada 2012 ! Just Amazing

[AdaLabs @AdaLabs]

#OpenVMSBootCamp #Ada is back on #OpenVMS https://t.co/PbQzB4eiiD

[AdaLabs @AdaLabs]

http://t.co/X3qv3OAWNa 'Logo Design' contest launched http://t.co/kEjOEb4Mbh

[AdaLabs @AdaLabs]

$ mcr [.bin]ia64-hp-openvms-gcc.exe -dumpmachine
ia64-hp-openvms

[AdaLabs @AdaLabs]

Be the master of time for your Test Strategy https://t.co/2M610JaY5e

[AdaLabs @AdaLabs]

Welcome to HP OpenVMS Industry Standard 64 Operating System, Version V8.4
$ run main.exe;10
Hello OpenVMS IA64 8.4 from AdaLabs