Turn down the lights
Turn up the lights
Change Player Size
Watch this video in a new window

Interface Grammars for Modular Software Verification

Google Tech Talks June, 4 2008 ABSTRACT Verification techniques that rely on state enumeration (such as model checking) face two important challenges: 1) State-space explosion: exponential incre...  
 
Customize

More From: googletechtalks

Efficient, Secrecy-Preserving, Provably Correct Computation (and Some Cool Ap...1:11:25
Efficient, Secrecy-Preserving, Provably Correct...
4,182 views
CORE - Cooperative Reasoning for Automatic Software Verification35:14
CORE - Cooperative Reasoning for Automatic Soft...
1,908 views
How Ant Colonies Get Things Done1:05:10
How Ant Colonies Get Things Done
29,526 views
Advanced Topics in Programming Languages: Java Puzzlers,...1:13:53
Advanced Topics in Programming Languages: Java ...
81,327 views
Practical Applications of Natural Language Processing in Assistive Technology57:21
Practical Applications of Natural Language Proc...
8,852 views
Factor: an extensible interactive language1:36:39
Factor: an extensible interactive language
18,680 views
The Lively Kernel1:01:19
The Lively Kernel
32,600 views
Multi-touch Screens in the Open Source World1:12:42
Multi-touch Screens in the Open Source World
18,746 views
How Open Source Projects Survive Poisonous People (And...54:58
How Open Source Projects Survive Poisonous Peop...
121,049 views
Systematic Testing of Software with Structurally Complex Inputs56:16
Systematic Testing of Software with Structurall...
8,840 views
Impulse-based ultra-wide-band (UWB) radio systems and applications1:02:07
Impulse-based ultra-wide-band (UWB) radio syste...
8,246 views
Theory and Practice of Cryptography1:32:06
Theory and Practice of Cryptography
22,612 views
WINE Conf 2007 - Wine and Direct3D48:00
WINE Conf 2007 - Wine and Direct3D
7,870 views
Seattle Conference on Scalability: Scalable Wikipedia with E26:31
Seattle Conference on Scalability: Scalable Wik...
14,116 views
A New Approach to Design of Massively Parallel Systems1:00:04
A New Approach to Design of Massively Parallel ...
6,477 views
Gaming For Freedom1:04:58
Gaming For Freedom
9,723 views
Greg Kroah Hartman on the Linux Kernel49:25
Greg Kroah Hartman on the Linux Kernel
61,482 views
No Time to Think58:08
No Time to Think
64,863 views
Rapid Prototyping of Ubiquitous Computing Applications: Tools & Frameworks54:00
Rapid Prototyping of Ubiquitous Computing Appli...
11,270 views
Open Office Training42:08
Open Office Training
14,446 views
See all 1200 videos
Play All Stop Autoplaying | Play Next

QuickList(0)

1
Clear | Save

Related Videos

0 ratings
Sign in to rate
2,361 views
Flag
close
Want to add to Favorites? Sign In or Sign Up now!
close
Want to add to Playlists? Sign In or Sign Up now!
close
Want to flag a video? Sign In or Sign Up now!

Statistics & Data

Loading...

Video Responses (0)

This video has no Responses. Be the first to Post a Video Response.
Sign in to post a Comment

Text Comments (0)   Options

Loading...

Would you like to comment?

Join YouTube for a free account, or sign in if you are already a member.