Works
Frama-C
—monthly views
0copies owned
—player watchlists
Works
Frama-C
Libre OCaml formal C verifier
uncommon · Q5477849
Related cards · free software
See all 3,281
Works
Ahmia
—monthly views
0copies owned
—player watchlists
Works
AlphaBay
—monthly views
0copies owned
—player watchlists
Works
AlmaLinux
—monthly views
0copies owned
—player watchlists
Works
Aerospike (database)
—monthly views
0copies owned
—player watchlists
Pop culture
0 A.D. (video game)
—monthly views
0copies owned
—player watchlists
Works
Acme (text editor)
—monthly views
0copies owned
—player watchlists
Related cards · formal verification
See all 6 Meta topics
Automated theorem proving
—monthly views
0copies owned
—player watchlists
Concepts
ATS (programming language)
—monthly views
0copies owned
—player watchlists
Concepts
Verus (proof system)
—monthly views
0copies owned
—player watchlists
Works
KeY
—monthly views
0copies owned
—player watchlists
Works
Fluctuat
—monthly views
0copies owned
—player watchlists