The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to securityand reliability analysis and guarantees. By providing the necessary theoretical background and presenting corresponding application oriented concepts, the objective is an in-depth presentation of such methods covering both theoretical foundations and industrial practice.
- ISBN: 978-1-58603-843-4
- Editorial: Ios Press
- Encuadernacion: Cartoné
- Páginas: 332
- Fecha Publicación: 01/03/2008
- Nº Volúmenes: 1
- Idioma: Inglés