AdaCore, profile picture
Uploaded byAdaCore
5,127 views

GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process

From a presentation given at GNAT Pro User Day about Leveraging AdaCore Tool to Support Rigorous Software Development Process

Embed presentation

Downloaded 14 times
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process

More Related Content

PPTX
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
byAdaCore
 
PPTX
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
byAdaCore
 
PPTX
GNAT Pro User Day: QGen: Simulink® static verification and code generation
byAdaCore
 
PDF
GNAT Pro User Day: AdaCore Insights
byAdaCore
 
PPTX
GNAT Pro User Day: AdaCore University
byAdaCore
 
PPTX
GNAT Pro User Day: VISIUM™ and Ada
byAdaCore
 
PPTX
GNAT Pro User Day: Ada Factory
byAdaCore
 
PDF
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
byAdaCore
 
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
byAdaCore
 
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
byAdaCore
 
GNAT Pro User Day: QGen: Simulink® static verification and code generation
byAdaCore
 
GNAT Pro User Day: AdaCore Insights
byAdaCore
 
GNAT Pro User Day: AdaCore University
byAdaCore
 
GNAT Pro User Day: VISIUM™ and Ada
byAdaCore
 
GNAT Pro User Day: Ada Factory
byAdaCore
 
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
byAdaCore
 

More from AdaCore

PDF
RCA OCORA: Safe Computing Platform using open standards
byAdaCore
 
PDF
Have we a Human Ecosystem?
byAdaCore
 
PDF
Rust and the coming age of high integrity languages
byAdaCore
 
PDF
SPARKNaCl: A verified, fast cryptographic library
byAdaCore
 
PDF
Developing Future High Integrity Processing Solutions
byAdaCore
 
PDF
Taming event-driven software via formal verification
byAdaCore
 
PDF
Pushing the Boundary of Mostly Automatic Program Proof
byAdaCore
 
PDF
RCA OCORA: Safe Computing Platform using open standards
byAdaCore
 
PDF
Product Lines and Ecosystems: from customization to configuration
byAdaCore
 
PDF
Securing the Future of Safety and Security of Embedded Software
byAdaCore
 
PDF
Spark / Ada for Safe and Secure Firmware Development
byAdaCore
 
PDF
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
byAdaCore
 
PDF
The Future of Aerospace – More Software Please!
byAdaCore
 
PDF
Adaptive AUTOSAR - The New AUTOSAR Architecture
byAdaCore
 
PDF
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
byAdaCore
 
PDF
Software Engineering for Robotics - The RoboStar Technology
byAdaCore
 
PDF
MISRA C in an ISO 26262 context
byAdaCore
 
PPTX
Application of theorem proving for safety-critical vehicle software
byAdaCore
 
PDF
The Application of Formal Methods to Railway Signalling Software
byAdaCore
 
PDF
Bounded Model Checking for C Programs in an Enterprise Environment
byAdaCore
 
RCA OCORA: Safe Computing Platform using open standards
byAdaCore
 
Have we a Human Ecosystem?
byAdaCore
 
Rust and the coming age of high integrity languages
byAdaCore
 
SPARKNaCl: A verified, fast cryptographic library
byAdaCore
 
Developing Future High Integrity Processing Solutions
byAdaCore
 
Taming event-driven software via formal verification
byAdaCore
 
Pushing the Boundary of Mostly Automatic Program Proof
byAdaCore
 
RCA OCORA: Safe Computing Platform using open standards
byAdaCore
 
Product Lines and Ecosystems: from customization to configuration
byAdaCore
 
Securing the Future of Safety and Security of Embedded Software
byAdaCore
 
Spark / Ada for Safe and Secure Firmware Development
byAdaCore
 
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
byAdaCore
 
The Future of Aerospace – More Software Please!
byAdaCore
 
Adaptive AUTOSAR - The New AUTOSAR Architecture
byAdaCore
 
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
byAdaCore
 
Software Engineering for Robotics - The RoboStar Technology
byAdaCore
 
MISRA C in an ISO 26262 context
byAdaCore
 
Application of theorem proving for safety-critical vehicle software
byAdaCore
 
The Application of Formal Methods to Railway Signalling Software
byAdaCore
 
Bounded Model Checking for C Programs in an Enterprise Environment
byAdaCore
 

Recently uploaded

PDF
Odoo Implementation Checklist: A Strategic ERP Blueprint for Business-Ready D...
byBANIBRO IT SOLUTION
 
PDF
From Artificial Intelligence to African Intelligence: Transforming Research &...
byMoses Kemibaro
 
PPTX
Workflow and decision Automation with Flowable
bychakib ch
 
PDF
shayk.online - Anonymous chat with Sinatra and WebSockets
byEleanor McHugh
 
PDF
Empower your IT team with cloud-based PC management using Dell Management Por...
byPrincipled Technologies
 
PDF
Escape from the Forbidden Zone: Smuggling green and inclusive tech past the g...
byBookNet Canada
 
PDF
Oracle Cloud Infrastructure 2025 Architect Professional (1Z0-1127-25) Master ...
byExamCert App
 
PDF
Preserve workload integrity during cross-architecture migration
byPrincipled Technologies
 
PPTX
Spacecraft Guidance Quick Research Guide by Arthur Morgan
byArthur Morgan
 
PDF
UiPath Automation Developer Associate Training Series 2026 - Session 3
byDianaGray10
 
PDF
GenerationAI_Paris_2025_Architecting_Intelligence.pdf
byapidays
 
PDF
Reality Drift: Why Systems Keep Working After Meaning Drops Out
byReality Drift Archive | A. Jacobs
 
PDF
GDG Cloud Southlake #49: Pradeep R Kumar: Implications of Agentic AI for Iden...
byJames Anderson
 
PDF
AI in the Real World: From University to Industry
byDarvan Shvan
 
PPTX
The Transformative Technology in Contemporary Businesses
bygreyaudrina
 
PDF
apidays New York 2025 | AI in Application Security
byapidays
 
PDF
How AI Can Help Platform Engineers Build Better Platforms
byAll Things Open
 
PDF
Session 1/5: Enhancing Automation with Screenplay & Business Rules
bysuhanisingh58689
 
PPTX
Microsoft Azure News - February 2026 - BAUG
byDaniel Toomey
 
PDF
final~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~.pdf
byomarbishtawi04
 
Odoo Implementation Checklist: A Strategic ERP Blueprint for Business-Ready D...
byBANIBRO IT SOLUTION
 
From Artificial Intelligence to African Intelligence: Transforming Research &...
byMoses Kemibaro
 
Workflow and decision Automation with Flowable
bychakib ch
 
shayk.online - Anonymous chat with Sinatra and WebSockets
byEleanor McHugh
 
Empower your IT team with cloud-based PC management using Dell Management Por...
byPrincipled Technologies
 
Escape from the Forbidden Zone: Smuggling green and inclusive tech past the g...
byBookNet Canada
 
Oracle Cloud Infrastructure 2025 Architect Professional (1Z0-1127-25) Master ...
byExamCert App
 
Preserve workload integrity during cross-architecture migration
byPrincipled Technologies
 
Spacecraft Guidance Quick Research Guide by Arthur Morgan
byArthur Morgan
 
UiPath Automation Developer Associate Training Series 2026 - Session 3
byDianaGray10
 
GenerationAI_Paris_2025_Architecting_Intelligence.pdf
byapidays
 
Reality Drift: Why Systems Keep Working After Meaning Drops Out
byReality Drift Archive | A. Jacobs
 
GDG Cloud Southlake #49: Pradeep R Kumar: Implications of Agentic AI for Iden...
byJames Anderson
 
AI in the Real World: From University to Industry
byDarvan Shvan
 
The Transformative Technology in Contemporary Businesses
bygreyaudrina
 
apidays New York 2025 | AI in Application Security
byapidays
 
How AI Can Help Platform Engineers Build Better Platforms
byAll Things Open
 
Session 1/5: Enhancing Automation with Screenplay & Business Rules
bysuhanisingh58689
 
Microsoft Azure News - February 2026 - BAUG
byDaniel Toomey
 
final~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~.pdf
byomarbishtawi04