· @idw_online
445 followers · 9802 posts · Server idw-online.social
Groundbreaking research project "Ecosystem Trustworthy IT" #EvIT plans provable #ITSecurity through #FormalVerification.
#Cybersecurity #FormalMethods #CybersecurityByDesign #KRITIS #Cybersecurity
https://nachrichten.idw-online.de/2023/09/11/demonstrable-it-security-through-formal-verification
#evit #ITSecurity #formalverification #CyberSecurity #formalmethods #cybersecuritybydesign #kritis
· @idw_online
445 followers · 9802 posts · Server idw-online.social
Neue Ära von „#CybersicherheitByDesign“: Forschungsprojekt „Ökosystem vertrauenswürdige IT“ #ÖvIT gestartet. Das Ziel: beweisbare #ITSicherheit durch #FormaleVerifikation. Angebote: bis 30.11.23: #Cybersicherheit #FormalMethods #KRITIS #Cybersecurity
https://nachrichten.idw-online.de/2023/09/11/gesucht-ansaetze-fuer-beweisbare-it-sicherheit-durch-formale-verifikation
#cybersicherheitbydesign #ovit #itsicherheit #formaleverifikation #Cybersicherheit #formalmethods #kritis #CyberSecurity
José A. Alonso · @Jose_A_Alonso
832 followers · 1695 posts · Server mathstodon.xyzFormal verification of complex software systems (A study). ~ Bernhard Beckert, Oliver Denninger, Jonas Klamroth, Max Scheerer, Jörg Henß. https://www.cyberagentur.de/wp-content/uploads/2023/07/OevIT-Vorstudien-Los-1.pdf #FormalMethods
Lobsters · @lobsters
2594 followers · 28723 posts · Server botsin.space
Proving Beautiful Mathematics in Dafny https://whileydave.com/2023/07/17/proving-a-beautiful-identity-in-dafny/ | https://lobste.rs/s/e8dhhz #formalmethods #math
Lobsters · @lobsters
2574 followers · 28581 posts · Server botsin.spaceSimple Verification of Rust Programs via Functional Purification (2016) https://github.com/Kha/masters-thesis/blob/master/main.pdf | https://lobste.rs/s/3wi9bd #formalmethods #pdf #rust
SageBinder · @SageBinder
0 followers · 4 posts · Server mathstodon.xyzA new #formalmethods community was just created on the Lemmy instance programming.dev: https://programming.dev/c/formal_methods@programming.dev
I’ve seen lots of interesting discussion on Mathstodon about #FormaMathematics, #TheoremProving and #ProofAssistants such as #Lean4, #Coq, #agda, #isabelle, and others. In addition to the fascinating discussion here on Mathstodon, I would love to see an active home on Lemmy for aggregating resources on formal methods and formal mathematics!
#isabelle #agda #coq #Lean4 #proofassistants #TheoremProving #formamathematics #formalmethods
Lobsters · @lobsters
2566 followers · 28485 posts · Server botsin.spacebrismu: a relational interpretation of Lojban https://mostawesomedude.github.io/brismu/ | https://lobste.rs/s/ypb8pa #formalmethods #math #plt
Lobsters · @lobsters
2561 followers · 28458 posts · Server botsin.space
Curry-Howard-Lambek and the Isomorphism https://timothysamson.github.io/posts/curry-howard/ | https://lobste.rs/s/npkpx9 #formalmethods #haskell #plt
Lobsters · @lobsters
2553 followers · 28378 posts · Server botsin.spaceGenerate from Constraints: Using Prompt-Hoisting for GPT-based Code Generation https://michaelfeathers.silvrback.com/prompt-hoisting-for-gpt-based-code-generation | https://lobste.rs/s/s1h7oe #ai #formalmethods #practices #testing
#ai #formalmethods #practices #testing
Lobsters · @lobsters
2545 followers · 28288 posts · Server botsin.spaceFunctional Programming in Lean https://leanprover.github.io/functional_programming_in_lean/ | https://lobste.rs/s/bmddyf #formalmethods #programming
Lobsters · @lobsters
2545 followers · 28288 posts · Server botsin.space
Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney https://www.youtube.com/watch?v=OJv8rFap0Nw | https://lobste.rs/s/25n6sw #formalmethods #plt #video
Lobsters · @lobsters
2536 followers · 28238 posts · Server botsin.spaceFormal Software Design with Alloy 6 https://haslab.github.io/formal-software-design/ | https://lobste.rs/s/inqj9i #book #formalmethods
pmon · @pmonson
9 followers · 201 posts · Server discuss.systemsIt seems modeling systems and proposed changes always to them always results in obviouse statements. Often times those obvious statements are new revelations on the system.
Today's example, changing a field not involved with a sort doesn't change the order of the sort. Thanks #formalmethods
Lobsters · @lobsters
2521 followers · 28168 posts · Server botsin.space
CMU 819 Homotopy type theory - Course Introduction https://scs.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=0945cc7f-48b7-4803-81af-e7193a3f461d | https://lobste.rs/s/kxn40p #formalmethods #math #plt
pmon · @pmonson
9 followers · 198 posts · Server discuss.systemsI think I've gotten to the point where I don't understand anything new without first writing a small model of it. Goodbye productivity... thanks #formalmethods
Lobsters · @lobsters
2501 followers · 28054 posts · Server botsin.space
Programming Languages Going Above and Beyond https://whileydave.com/2023/06/27/programming-languages-going-above-and-beyond/ | https://lobste.rs/s/jgk0id #formalmethods #programming
Lobsters · @lobsters
2460 followers · 27659 posts · Server botsin.spaceAlloydocs updated to Alloy 6 https://alloy.readthedocs.io/en/latest/language/time.html | https://lobste.rs/s/otrf0y #formalmethods #release
Lobsters · @lobsters
2454 followers · 27558 posts · Server botsin.space
Why Liquid Haskell matters https://www.tweag.io/blog/2022-01-19-why-liquid-haskell/ | https://lobste.rs/s/0r47te #formalmethods #haskell
José A. Alonso · @Jose_A_Alonso
742 followers · 1361 posts · Server mathstodon.xyz
Disproving XAI myths with formal methods (Initial results). ~ Joao Marques-Silva. https://arxiv.org/abs/2306.01744 #XAI #FormalMethods
Lobsters · @lobsters
2451 followers · 27506 posts · Server botsin.spaceProving My Compiler Code Incorrect With Alloy https://danilafe.com/blog/dyno_alloy/ | https://lobste.rs/s/fk8gjb #compilers #formalmethods