Formal Methods: State of the Art and New Directions

by Paul P. Boca (Editor), Jonathan P. Bowen (Editor), Jawed Siddiqi (Editor)

Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of ?Z.- The Computer Ate My Vote.- Formal Methods for Biochemical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.

298 pages, Hardcover

First published January 1, 2009