AdaLabs
@AdaLabs
We strive to create technologies with purpose, and focus on our clients' systematic success
You might like
Small but Mighty: Ada, Mauritius, and 15 Years of Innovation linkedin.com/pulse/small-mi…
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. bit.ly/3WDJcjL #security, #NVIDIA, #SPARK, #FormalVerification
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. adacore.com/papers/work-of… #spark #softwaredevelopment
adacore.com
The Work of Proof in SPARK
Press Paper The SPARK tool aims at statically verifying that language-mandated checks and the user-written contracts can never fail at runtime.
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 forum.defcon.org/node/242282 Sunday at 11:00, Track 1.
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
While github.com/AdaLabs 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 gitlab.com/adalabs #Adaprogramming
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
teamate-client released for friendly & secure remote peer reviews integrated to GNAT Studio, for teams to keep Agile while coding @ home gitlab.com/adalabs/teamat… youtube.com/watch?v=uu5_hb…
youtube.com
YouTube
AdaLabs Teamate Client Trailer - 2020
Great thanks to xrdp project team for the RemoteFX codec support that amazingly improves rdp sessions ! #xrdp #thinclient #debian
Congratulations Ingrid CHERRY (third from right), @AdaLabs Software Engineering Trainee from UTM, at the NPCC Young Entrepreneurs workshop
youtube.com/watch?v=xxbAiu… Ada on Rails Web Objects enhance reusability and agility with an innovative 'Data Model Convergence' paradigm
youtube.com
YouTube
AdaLabs - Use of AOR Web Objects in a Soap web service Trailer 2017
So excited to welcome ARM Cortex-M4-based on our high-end embedded lines. STM32F4 running Ada 2012 ! Just Amazing
Opencracy.org 'Logo Design' contest launched blog.adalabs.com/post/2015/09/0…
Be the master of time for your Test Strategy youtube.com/watch?v=mH-Ei2…
youtube.com
YouTube
AdaLabs AUnitExtras Simulated Time Trailer 2015
Welcome to HP OpenVMS Industry Standard 64 Operating System, Version V8.4 $ run main.exe;10 Hello OpenVMS IA64 8.4 from AdaLabs
AdaLabs founder David SAUVAGE received the AFRICA LEADERSHIP AWARD (ICT) blog.adalabs.com/post/2014/12/1…
United States Trends
- 1. Good Sunday 69K posts
- 2. Klay 30.2K posts
- 3. #sundayvibes 5,512 posts
- 4. McLaren 128K posts
- 5. Full PPR N/A
- 6. Blessed Sunday 18.8K posts
- 7. Beirut 6,232 posts
- 8. Ja Morant 14.1K posts
- 9. Florentino 33.2K posts
- 10. #FelizCumpleañosNico 4,896 posts
- 11. #FG3Dライブ 119K posts
- 12. #sundaymotivation 3,581 posts
- 13. For the Lord 30.4K posts
- 14. #FelizCumpleañosPresidente 4,136 posts
- 15. King of the Universe 2,224 posts
- 16. Tottenham 50.2K posts
- 17. Lando 146K posts
- 18. Christ the King 11.3K posts
- 19. South Asia 41.4K posts
- 20. Rubio 100K posts
You might like
-
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany -
Piggyvest
@piggyvest -
OnChainMonkey®
@OnChainMonkey -
Digital Currency Initiative
@mitDCI -
Uri Kolodny
@ukolodny -
marek.celo.eth 🦇🌳
@marek_ -
The V Programming Language
@v_language -
BeamPrivacy
@beamprivacy -
Stephane
@StephaneCarrez -
Vanessa McHale
@vamchale -
Hugo
@hugomofn -
Bob McElrath
@BobMcElrath -
High Integrity Software Conference
@HISC_conf -
Dirk Craeynest
@DirkCraeynest -
nifty, btc++ taipei dec 15-17
@niftynei
Something went wrong.
Something went wrong.