TitleSOL: A Verifiable Synchronous Language for Reactive Systems
Publication TypeConference Paper
Year of Publication2002
AuthorsBharadwaj, R.
Conference NameSynchronous Languages, Applications, and Programming (SLAP'02), ETAPS'2002
Conference LocationGrenoble, France
Abstract

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.

Full Text

Bharadwaj2002c.pdf

NRL Publication Release Number

02-1221.1-0236