View pf.ebnf
accept ::= ruleset end
ruleset ::=
| ruleset include '\n'
| ruleset '\n'
| ruleset option '\n'
| ruleset pfrule '\n'
| ruleset anchorrule '\n'
| ruleset loadrule '\n'
| ruleset queuespec '\n'
$ apt-get install -y libpcap-dev libdumbnet-dev libevent1-dev
$ ln -s /usr/include/dumbnet.h /usr/include/dnet.h
$ ./configure --prefix=/usr
$ make
View gist:4b8a647d9474ab90049a6b56c8c731e0

A List of companies that use Formal methods


If you see a company on the list that doesn't exist anymore, or does not use formal methods anymore, please send a pull request with an explanation. The same goes if you're currently working at, or know a company that uses formal methods but is not on the list. Please include the website, github (if applicable), locations, and sector. If the company is hiring please include a link to the ad.

See also

# How-to:
# - install required RPM packages
# - create XML config and instance disk:
import mailbox
import argparse
import os
import json
def main():
parser = argparse.ArgumentParser()
parser.add_argument("mbox", type=str,
help="mbox file")
View vim
#!/usr/bin/env python
# ./ --test-file test_labels.csv --bayes-file NaiveBayes_pred.csv --log-file LogisticRegression_pred.csv
import argparse
import sys
labels = []
bayes = []
import os
import pytest
import cs
import hashlib
import time
import socket
import io
View Makefile
TEST = memtester
PKG_REQUIRED = memtester
LOOP = 1
AMOUNT != sysctl -n hw.physmem
REGRESS_LOG = ${.CURDIR}/${TEST}-`date +%Y-%m-%d-%MM-%SS`.log
REGRESS_TARGETS = run-regress-test-memtester
echo "Total RAM: ${AMOUNT}"