Model Checking Java Programs - PowerPoint PPT Presentation

1 / 40
} ?>
View by Category
About This Presentation
Title:

Model Checking Java Programs

Description:

Translate statements to SAL guarded commands ... JVM run-time in SAL. Heap, stack, are implemented as ... Similar goals, different optimizations, no SAL, no C ... – PowerPoint PPT presentation

Number of Views:61
Avg rating:3.0/5.0
Slides: 41
Provided by: ulrich6
Learn more at: http://www.cc.gatech.edu
Category:
Tags: checking | java | model | programs | sal | stern

less

Write a Comment
User Comments (0)
About PowerShow.com