Omnibus (Computer program language)

found: Work cat.: Wilson, T. The Omnibus language and integrated verification approach, 2008:p. iii (Omnibus is an object-oriented language which is superficially similar to the Java programming language but uses value semantics for objects and incorporates a behavioural interface specification language)

found: University of Stirling, Dept. of Computing Science and Mathematics WWW Home page, Dec. 10, 2008(Omnibus is a new Object-Oriented language that was specifically designed to be amenable to formal analysis. It was developed as a response to experiences in attempting to formally analyze existing commercial languages like Java)