Apalache: symbolic model checker for TLA⁺
@ApalacheTLA
Apalache is a symbolic model checker for #tlaplus. Born in Vienna, Austria (famous for waltzes, Schnitzel, and logic) in 2016. Growing up with @informalinc.
Tal vez te guste
Hubo un problema, por favor actualiza la página e inténtalo de nuevo.
United States Tendencias
- 1. Cooper Flagg 8,396 posts
- 2. The Spurs 14K posts
- 3. Randle 2,370 posts
- 4. Mavs 5,399 posts
- 5. #PorVida 1,338 posts
- 6. #WWENXT 10.5K posts
- 7. #Pluribus 12.2K posts
- 8. #GoSpursGo N/A
- 9. UNLV 1,890 posts
- 10. Keldon Johnson N/A
- 11. Cam Johnson N/A
- 12. Christmas Eve 165K posts
- 13. #LGRW 2,500 posts
- 14. Rosetta Stone N/A
- 15. Bruins 5,178 posts
- 16. Peyton Watson N/A
- 17. Yellow 58.2K posts
- 18. Maxey 2,714 posts
- 19. PWat N/A
- 20. Reaves 4,481 posts
Tal vez te guste
-
Informal Systems
@informalinc -
Vectis
@0xVectis -
Riley 🏴☠️
@interchainriley -
[email protected] | (spec|ver)ification | security
@k0nn0v -
IXO World 🦋
@ixoworld -
Max Einhorn
@max_einhorn -
zarinjo
@zarinjo -
Marius Poke
@marius_poke -
Andy Nogueira
@andynog -
Gregory Landua (🌳,🌳,🌳)
@gregory_landua -
bez
@aleksb3z -
Shawn
@shaspitz -
Susannah
@bigsuse7 -
(Guy Zyskind*)
@GuyZys
Loading...
Something went wrong.
Something went wrong.