Galois, Inc. (http://www.galois.com) has contributed to the development of SBV,
by providing time and computing machinery. The following people reported bugs,
provided comments/feedback, or contributed to the development of SBV in various ways:
Iavor Diatchki, Lee Pike, Don Stewart, and Josef Svenningsson.