Scalable Language Specification 2013

  • Egon Börger | University of Pisa

The ASM approach for modular design and verification of programming features

Speaker Details

My research area since 1990 is Software Technology, where I am interested in rigorous methods and their practical applications for the development and the maintenance of hardware/software systems—with a focus on relating requirements capture by high-level specifications to detailed design and their analysis (both mathematical verification and experimental validation). The main vehicle I use is the ASM Method whose development and industrial applications I have shaped since 1989.

From 1969-1989 I have worked in Logic and Complexity Theory—which still influences the way I address the investigation of hw/sw systems.

    • Portrait of Jeff Running

      Jeff Running

Watch Next