Search Results - RepositoryStats

109

531

other

38

seL4 specification and proofs

proof isabelle sel4-proofs formalisation sel4-microkernel

Created 2014-07-17

5,872 commits to master branch, last one a day ago

10

201

unknown

9

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

97

bsd-2-clause

4

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

66

other

8

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 4 months ago