Search Results - RepositoryStats

108

517

other

38

seL4 specification and proofs

proof isabelle sel4-proofs formalisation sel4-microkernel

Created 2014-07-17

5,830 commits to master branch, last one 5 days ago

9

198

unknown

10

A curated set of links to formal methods involving provable code.

coq agda sel4 idris isabelle isabelle-hol formal-verification certified-programming

Created 2017-11-10

16 commits to master branch, last one 3 years ago

13

96

bsd-2-clause

5

Verified iptables Firewall Ruleset Analysis

ipv4 ipv6 haskell firewall iptables isabelle security access-control

Created 2014-09-22

2,590 commits to master branch, last one 6 years ago

9

65

other

9

This repository has no description...

hol itp psl proof isabelle induction conjecture proof-search formal-proofs formal-methods proof-assistant machine-learning proof-strategies formal-verification artificial-intelligence domain-specific-language interactive-theorem-proving

Created 2016-08-10

1,559 commits to master branch, last one about a month ago