Lecturas compartidas el 15 de marzo de 2024
#ITP #IsabelleHOL #FormalVerification #SMT
Buenos días
Las lecturas compartidas en Mastodon el 15 de marzo de 2024 son
Lecturas compartidas el 14 de marzo de 2024. #ITP #Lean4 #IsabelleHOL #Haskell #FunctionalProgramming #Math #AI
A verified QBF solver. ~ Axel Bergström. #ITP #IsabelleHOL
seL4: Formal verification of an operating-system kernel. ~ Gerwin Klein et als. (2010). #FormalVerification #IsabelleHOL
Satisfiability modulo theories: Introduction and applications. ~ Leonardo De Moura, Nikolaj Bjørner (2011). #SMT
También están en GitHub.
Saludos, José A.
"Siembra un acto y cosecharás un hábito. Siembra un hábito y cosecharás un carácter. Siembra un carácter y cosecharás un destino." ~ Charles Reade (1814-1884).
