Secure Operations Language

The Secure Operations Language (SOL) was developed jointly by the United States Naval Research Laboratory and West Virginia University. The investigators of the project are Dr Ramesh Bharadwaj from the Naval Research Laboratory and Dr Supratik Mukhopadhyay from West Virginia University. SOL is a synchronous programming language for developing distributed applications and is based on software engineering principles developed in the Software Cost Reduction project at the Naval Research Laboratory in the late seventies and early eighties.

References

Bharadwaj, Ramesh (2002). "SOL: A Verifiable Synchronous Language for Reactive Systems". Electr. Notes Theor. Comput. Sci. 65 (5).