1) Business in the community 
BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project. It aims to support formal program verification. ==Objectives== The language has two primary objectives: ==History== The goals for the BitC language were set out in 2004 in Towards a Verified, Gener...
Business in the Community (UK)
Business in the Community