Impressum: https://teapawt.net/t.co/OyKT5wnivZ
Dresden, Germany
Joined April 2017
- Tweets204
- Following23
- Followers79
- Likes250
Componolit retweeted
#wearehiring ! Would you like to join the AdaCore team? Check out our open job positions: adacore.com/company/careers
#developer #programmer #crossengineer #embeddedsoftware #softwareengineer #devsecops #softwareengineering
Componolit retweeted
We are happy to announce that the GNAT Community 2021 release is now available! Check out the release highlights and new features:
blog.adacore.com/gnat-commun…
#Adaprogramming
Thanks for contributing!
My contribution to @Componolit #RecordFlux got through a few days ago. A specification and some test for the SLPv2 protocol: github.com/Componolit/Record…
Componolit retweeted
Check out the blog post "Doubling the Performance of SPARKNaCl" by Rod Chapman, the continuation of the previous blog post "Performance analysis and tuning of SPARKNaCl".
blog.adacore.com/doubling-th…
#Adaprogramming #softwareengineering
We are excited to become part of the @AdaCoreCompany team!
We are broadening our #cybersecurity capabilities with the acquisition of @Componolit, provider of software components & #formalverification tools for trusted systems. This brings new capabilities to our suite of automated testing & #staticanalysis tools. adacore.com/press/componolit…
Componolit retweeted
Check out how JTEKT and NVIDIA are working to meet safety requirements for in-vehicle software. This article published in Nikkei Xtech, describes how they are using Ada/SPARK to meet these requirements.
adacore.com/zero-defect-soft…
#autonomousdrivingsystem
Componolit retweeted
Interesting statistics. Wondering if this can be true for #rustlang too :-)
#programming #developmentProductivity #C #ADA
Componolit retweeted
Join us today at the @risc_v Day Tokyo 2020! We are very happy to continue bringing the Ada & SPARK programming languages to the forefront of the technologies available to RISC-V developers.
@riscv_a #Adaprogramming #riscv_day
riscv-association.jp/en/risc…
Componolit retweeted
blog.adacore.com/first-beta-… @mosteobotic @AdaCoreCompany
Componolit retweeted
#WeAreHiring :
•Cross Engineer either in Paris or NYC
•Technical Account Manager in NYC
•Account Manager in Paris
•Software Engineer #Python in Paris
+ all of our #internship opportunities
Visit our #careers webpage to learn more: adacore.com/company/careers
Need to use a theorem prover in your #Ada program? Try AZ3, our Ada binding to the Z3 Theorem Prover. github.com/Componolit/AZ3 #AdaProgramming #FormalVerification
Componolit retweeted
Build safer software with the Ada & SPARK programming languages. @AdaCoreCompany tools support RISC-V and you can see for yourself with the latest release of its community development environment. Download here – buff.ly/2EAJVPz #Adaprogramming
Or, even better, open a pull request ;) Generating a wireshark dissector from a RecordFlux spec would indeed be nice and should be doable.
This Post is from an account that no longer exists. Learn more
Componolit retweeted
Relaxing the Data Initialization Policy of #SPARKAda by our #formalverification expert, Claire Dross. This new feature enhances the verification of data initialization adding even better software assurance! #Adaprogramming blog.adacore.com/relaxing-th…
We released RecordFlux 0.4.1 with GNAT Studio IDE integration, better error messages and many detail improvements. github.com/Componolit/Record… #Security #Embedded #IoT #Ada #SPARK #Python #FormalVerification
Componolit retweeted
Did you know that programming in Ada has a positive impact on controlling #softwaredevelopment costs? The webinar 'Controlling Costs with Software Language Choice' based on a study by @VDC_Research shows just that.
youtu.be/OL6EPPWuosE
#Adaprogramming
Componolit retweeted
#JTEKT Japan have adopted our tools to reduce development & verification costs for safe #autonomousdriving systems! Leveraging #SPARKAda & formal methods to ease unit testing & verification of the system’s C code to ensure correctness. adacore.com/press/jtekt-spar… @Automotive_News
Componolit retweeted
Vinzent "Jellix" Saranen released first version of S.P.A.T (SPARK Proof Analysis Tool) github.heisenbug.eu/spat/
Componolit retweeted
Ada & SPARK are designed to emphasize readability, understanding & verification, all essential when developing cyber-secure software systems. Download this book to understand how Ada/SPARK & associated tools can contribute to the #cybersecurity sphere. adacore.com/books/adacore-te…
