Products and Services

Tools

A commercial release of our LSA Toolkit is pending - details to be announced.

Training

SBTC offers training in Formal Methods Software Engineering (FMSE) practices and methods, enabling our clients to bring FMSE capabilities in-house.

Consulting

SBTC offers consulting services to help clients apply LSA/LSI technology to their application domain and FMSE practices to their software development environment. We offer full software development and project management services to augment our clients' in house software development efforts or to build software for those without a programming staff. The firm also provides consulting services in the areas of process management, technical writing, and system administration.