Blackknight a partagé 11 liens

Lien Vérification formelle en SPARK au FOSDEM 2023

Posté par Blackknight (site web personnel, Mastodon) le 16 février 2023 à 10:51.

Étiquettes :

4

16

fév.

2023

https://fosdem.org/2023/schedule/event/open_source_formal_verification/

Lien A défaut d'une devroom, il y aura un stand Ada au FOSDEM

Posté par Blackknight (site web personnel, Mastodon) le 03 février 2023 à 09:03.

Étiquettes :

8

3

fév.

2023

https://forum.ada-lang.io/t/ada-stand-at-fosdem-2023/318

Lien Ada dans l'industrie du semi-conducteur

Posté par Blackknight (site web personnel, Mastodon) le 07 octobre 2022 à 09:41.

Étiquettes :

5

7

oct.

2022

https://www.adacore.com/uploads/techPapers/222362-adacore-itec-nexperia-case-study-v4.pdf

Lien Exploitation in the era of formal verification - a peek at a new frontier

Posté par Blackknight (site web personnel, Mastodon) le 25 août 2022 à 09:39.

Étiquettes :

4

25

août

2022

https://media.defcon.org/DEF%20CON%2030/DEF%20CON%2030%20presentations/Adam%20Zabrocki%20%20%20Alex%20Tereshkin%20-%20Exploitation%20in%20the%20era%20of%20formal%20verification%20a%20peek%20at%20a%20new%20frontier%20with%20AdaCore-SPARK.pdf

Lien Re-implémentation de TweetNaCl en Spark

Posté par Blackknight (site web personnel, Mastodon) le 05 janvier 2022 à 22:02.

Étiquettes :

2

5

jan.

2022

https://blog.adacore.com/sparknacl-two-years-of-optimizing-crypto-code-in-spark-and-counting

Lien Une session de découverte d'Ada (part I)

Posté par Blackknight (site web personnel, Mastodon) le 12 juin 2021 à 14:46.

Étiquettes :

11

12

juin

2021

https://www.youtube.com/watch?v=ljeYMzDThMY

Lien Une session de découverte Ada

Posté par Blackknight (site web personnel, Mastodon) le 12 juin 2021 à 14:42.

Étiquettes :

5

12

juin

2021

https://www.youtube.com/watch?v=-wbMVnkCgOk

Lien Chaine Peertube sur Ada

Posté par Blackknight (site web personnel, Mastodon) le 12 juin 2021 à 14:41.

Étiquettes :

5

12

juin

2021

https://peertube.social/video-channels/ada_presentations/videos

Lien Un grep contextuel en Ada

Posté par Blackknight (site web personnel, Mastodon) le 31 mai 2021 à 09:50.

Étiquettes :

4

31

mai

2021

https://github.com/pyjarrett/septum

Lien Meetup Ada de mai 2020

Posté par Blackknight (site web personnel, Mastodon) le 17 octobre 2020 à 11:51.

Étiquettes :

3

17

oct.

2020

https://peertube.social/videos/watch/playlist/bce29323-ab5b-4fe0-af08-36acd8769753

Lien Un nouveau site pour apprendre Ada

Posté par Blackknight (site web personnel, Mastodon) le 07 août 2018 à 14:50.

Étiquettes :

11

7

août

2018

https://learn.adacore.com/