Logics of Specification Languages

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bjørner, Dines (Editor), Henson, Martin C. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Monographs in Theoretical Computer Science, An EATCS Series,
• Subjects: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Software Engineering.; Logics and Meanings of Programs.; Theory of Computation.

By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the...