|
|
|
Fitness Equipment & Home Gyms :: |
Interface Grammars for Modular Software Verification
|
Tags: education engedu google googletechtalks talk talks techtalk techtalks
Channel: People & Blogs
Uploaded: June 7, 2008 at 9:09 am
Author: googletechtalks
Length: 42:19
Rating: N/A
Views: 1631
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 increase in the state space with the increasing number of
components. 2) Environment generation: modeling components that are either not available for analysis, or that are outside the scope of the verification tool at hand. We propose a semi-automated approach for attacking these two problems. In our approach, interfaces for the components that are outside the scope of the current verification effort are specified using an interface specification language based on grammars. Specifically, an interface grammar for a component specifies the sequences of method invocations that are allowed by that component. We have built an interface compiler that takes the interface grammar for a component as input and generates a stub for that component. The stub generated from the interface grammar of a component can be used to replace that component during state space exploration, either to assuage the state space explosion, or to provide an executable environment for the component that is being verified.
Speaker: Tevfik Bultan
Associate Professor, Vice Chair
Department of Computer Science
University of California, Santa Barbara
|
Video Comments
BodyBuilding Videos
BodyBuilding
|
Weight Lifting |
Power Lifting |
Fitness Exercise
|
Weight Loss
Healthy Diets |
Weight Training |
Work Out |
Home Gyms |
Fitness
Female BodyBuilder
|
BodyBuilder
|
Fitness Models
Got Questions? Contact Us!
All Products
|
Shipping/Payment
INFO |
Shopping Home Page
Home
|
Order Info
|
Testimonials
|
Links
|
Link Exchange
|
VIEW INTRO
|
Definitions
Bodybuilding
Information |
Fitness
Models
|
Female Bodybuilders|
Male Bodybuilders
About Us
Exercise Equipment Hot Products Used
Fitness Equipment Benches / Chest Leverage Gyms Wilder
Fitness TDS Fitness Power Tec Fitness Body Solid Fitness
BodyCraft Fitness Power Block Dumbbells Star Trac Cardio
Commercial Equipment Weight Sets Accessories Home Gyms
Power Racks Smith Machines Leg Machines Cable Crossovers
Cardio Equipment Package Deals Elliptical Trainers
Treadmills Rowing Machines Exercise Bikes Barbells
Dumbbells Weight Plates Weight Racks Cable Attachments
Bars & Collars Yoga / Pilates Energy / Protein Drinks
Workout Clothing Bodybuilding Supplements Fitness
Equipment Pro Weight Lifting Gear
Fitness Equipment, Exercise Equipment, free weights,
home gym, lifting weights, weight lifting equipment,
home exercise equipment, commercial exercise equipment,
fitness equipment, home fitness equipment, commercial
fitness equipment, weights, free weights, dumbbells,
treadmills, elliptical trainer, elliptical trainers,
elliptical machine, elliptical machines, stationary
exercise bikes, barbells, Supplements, Discount Exercise
Equipment, discount fitness equipment, supplements,
dietary supplements, nutritional supplements, herbal
supplements, weight loss supplements, vitamin
supplements, protein supplements, bodybuilding
supplements, abdominal equipment, aerobic equipment,
home gyms, men's fitness, women's fitness, weight
training equipment, exercise cycles, cross trainers,
equipment accessories, bench press, Tampa Bay Florida |
|
