Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consumi

Knowledge-Based Software Engineering brings together in one place important contributions and up-to-date research results in this important area. Knowledge-Base

From a symposium, or perhaps a series of symposia (no information is provided) 15 papers discuss the use of computers to control potentially hazardous industria

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea