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
View vimrc
" Vundle settings
" set the runtime path to include Vundle and initialize
set rtp+=~/.vim/bundle/Vundle.vim
filetype off " required
call vundle#begin()
Plugin 'gmarik/Vundle.vim' " let Vundle manage Vundle, required
Plugin 'scrooloose/syntastic'
#!/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 = []
View psqlrc
\set QUIET 1
-- formatting
\x auto
\set VERBOSITY verbose
\set ON_ERROR_ROLLBACK interactive
-- show execution times
-- limit paging
\pset pager off
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}"