View gist:4b8a647d9474ab90049a6b56c8c731e0

A List of companies that use Formal methods

Updates

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

View libvirt-ss.py
#!/usr/bin/python
# https://libvirt.org/html/libvirt-libvirt-domain.html#virDomainState
# https://libvirt.org/docs/libvirt-appdev-guide-python/en-US/html/
# https://wiki.libvirt.org/page/VM_lifecycle
# How-to:
# - install required RPM packages
# - create XML config and instance disk:
# https://libvirt.org/formatdomain.html
View mbox2json.py
import mailbox
import argparse
import os
import json
def main():
parser = argparse.ArgumentParser()
parser.add_argument("mbox", type=str,
help="mbox file")
View vim plugins.md
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'
View test.py
#!/usr/bin/env python
# ./test.py --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
\timing
-- limit paging
\pset pager off
View cloudstack.py
# https://gist.github.com/vincentbernat/952e0ada1333f0e0a69f/
# https://www.dreamhost.com/blog/2015/09/22/how-to-launch-instances-using-python-and-apache-libcloud/
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
run-regress-test-memtester:
echo "Total RAM: ${AMOUNT}"