Campus Event Calendar: Andrey Rybalchenko (06/01/2005 in 46.1

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

What and Who

Temporal Verification with Transition Invariants

Andrey Rybalchenko

Max-Planck-Institut für Informatik - AG 1

Promotionskolloquium

AG 1, AG 2, AG 3, AG 4, AG 5

AG Audience

-- Not specified --

Note: We use this to send email in the morning.

Date, Time and Location

Wednesday, 1 June 2005

09:00

-- Not specified --

46.1 - MPII

024

Saarbrücken

Abstract

We present a basis for the construction of automated tools that

cannot only prove that a program never does anything bad, but also can
prove that the program
eventually does something good. Such proofs increase our
confidence that the program will perform correctly.

Contact

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Andrey Rybalchenko, 05/30/2005 15:59
Bahareh Kadkhodazadeh, 05/25/2005 14:23 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis