Meta topics
Automated theorem proving
—monthly views
0copies owned
—player watchlists
Wiki Binder · Facet
formal verification
6 cards · 6 shown here
Concepts
ATS (programming language)
—monthly views
0copies owned
—player watchlists
Works
Frama-C
—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
Collect every card of this facet.
Start collecting