Personal tools
You are here: Home / Events / The Abstract State Machines Method for Design and Analysis of Software-Based Systems

The Abstract State Machines Method for Design and Analysis of Software-Based Systems

Filed under:
Prof. Egon Börger (University Pisa), 13 April 2011, 11 a.m., RISC seminar room
When Apr 13, 2011
from 11:00 AM to 12:30 PM
Where RISC seminar room
Add event to calendar vCal
iCal

The Abstract State Machines Method for Design and Analysis of Software-Based Systems.
A Survey of its Mathematical Foundation and of Characteristic Industrial Applications.

On the invitation of Professor Buchberger, Professor Börger will give a talk in the frame of the Theorema-Seminar.
Professor Börger is one of the founders and pioneer of the Abstract State Machines approach to formal design and verification of systems.