ligurio

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

ligurio

• Advanced Bash-Scripting Guide
• Unit-Testable Shell Scripts
• https://gist.github.com/strizhechenko/f82b6eeb29187bdb7e99d6baf46665ab
• shellcheck
• https://gist.github.com/ljfranklin/99fc9af42aa732b33525#file-bash-notes

ligurio

#!/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

ligurio

import mailbox
import argparse
import os
import json

def main():

    parser = argparse.ArgumentParser()
    parser.add_argument("mbox", type=str,
                        help="mbox file")

ligurio

• Eclipse: vrapper (free), Viable (commercial)
• NetBeans: jvi
• Visual Studio: VsVim (free), ViEmu (comm)
• Qt Creator: FakeVim built-in
• Chrome: Vimium
• Firefox: vimperator, its-all-text, Pentadactyl
• MS Word: http://www.viemu.com/viemu-vi-vim-word-outlook.html
• MS Outlook: http://www.vim.org/scripts/script.php?script_id=3087
• Korn shell

ligurio

"=====================================================
" 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'

ligurio

#!/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 = []

ligurio

\set QUIET 1
-- formatting
\x auto

\set VERBOSITY verbose
\set ON_ERROR_ROLLBACK interactive
-- show execution times
\timing
-- limit paging
\pset pager off

ligurio

# 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

ligurio

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}"