SOL: A Verifiable Synchronous Language for Reactive Systems
NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)
Pagination or Media Count:
SOL Secure Operations Language is a synchronous programming language for implementing reactive systems. The utility of SOL hinges upon the fact that it is a secure language, i.e., most programs in SOL are amenable to fully automated static analysis techniques, such as automatic theorem proving using decision procedures or model checking. Among the unique features of SOL is the ability to express a wide class of enforceable safety and security policies including the temporal aspects of software component interfaces in the language itself, thereby opening up the possibility of eliminating runaway computations and malicious code, such as worms and viruses.
- Computer Programming and Software