learn.adacore.com
About Ada Courses Introduction to Ada Introduction Imperative Language Subprograms Modular Programming Strongly Typed Language Records Arrays More About Types Access Types More About Records Fixed-Point Types Privacy Generics Exceptions Tasking Design by contracts Interfacing With C Object Oriented Programming Standard Library: Containers Standard Library: Dates & Times Standard Library: Strings S
Muen | SK for x86/64
Muen is an Open Source separation kernel (SK) for the Intel x86/64 architecture that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by codelabs GmbH. Muen was designed specifically to meet the challenging requirements of high-assurance systems on the Intel x86/64 platform. To ensure Muen is suitable for highly critical systems and adv
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Make with Ada
Defects and Vulnerability Analysis
GitHub - tofgarion/spark-by-example: SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
GitHub - AdaCore/spark2014: SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
spark_intro.ppt
Cheddar: an open-source real-time schedulability tool/scheduling simulator
AdaCore Extends Support for Wind River VxWorks
A Readable Introduction to Both MISRA C and SPARK Ada
Programming A RISC-V Softcore With Ada | Hackaday
Safe Pointers in SPARK 2014
Commercial software solutions for Ada, C and C++
CubeSat Laboratory
Building High Integrity Applications with SPARK
Rust and SPARK: Software Reliability for Everyone
Installing GNAT and SPARK GPL Editions
learn.adacore.com
GitHub - ytomino/drake: Drake: A Runtime Library for gcc-Ada
http://www.ats-lang.org/DOCUMENT/INT2PROGINATS/HTML/p2220.html ã®ä¾‹ã‚’Adaã«ã—ã¦ã¿ã‚‹
{{#tags}}- {{label}}
{{/tags}}