Upload

Loading icon Loading...

This video is unavailable.

Verifying Real-Time Software is Not Reasonable (Today)

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to like Edward Lee's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to dislike Edward Lee's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to add Edward Lee's video to your playlist.

Published on Jun 14, 2013

Edward A. Lee, Invited Plenary Talk
Haifa Verification Conference (HVC)
Haifa, Israel
November 6-8, 2012.

Loading icon Loading...

Loading icon Loading...

Loading icon Loading...

The interactive transcript could not be loaded.

Loading icon Loading...

Loading icon Loading...

Ratings have been disabled for this video.
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.

Loading icon Loading...

Loading...
Working...
to add this to Watch Later

Add to