Hostname: page-component-745bb68f8f-l4dxg Total loading time: 0 Render date: 2025-01-13T13:53:09.251Z Has data issue: false hasContentIssue false
  • English
  • Français

Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems

Published online by Cambridge University Press:  08 July 2013

AZER BESTAVROS  and
ASSAF KFOURY
AZER BESTAVROS
Affiliation:
Computer Science Department, Boston University, Boston, Massachusetts 02215, U.S.A. Email: best@cs.bu.edu; kfoury@cs.bu.edu
ASSAF KFOURY
Affiliation:
Computer Science Department, Boston University, Boston, Massachusetts 02215, U.S.A. Email: best@cs.bu.edu; kfoury@cs.bu.edu
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

Type
Editorial Preface
Information
Mathematical Structures in Computer Science , Volume 23 , Special Issue 4: Lightweight and Practical Formal Methods in the Design and Analysis of Safety-Critical Systems , August 2013 , pp. 675
Copyright
Copyright © Cambridge University Press 2013