|
Change #12463
2012-01-31
17:57:30
|
create
Calagator::Event
1250461916
Galois Tech Talk: Efficient Implementation of Property Directed Reachability
Roll back
| description |
nil |
→ |
Presented by Alan Mishchenko.
Last spring, in March 2010, Aaron Bradley published the first truly new bit-level symbolic model checking algorithm since Ken McMillan’s interpolation based model checking procedure introduced in 2003. Our experience with the algorithm suggests that it is stronger than interpolation on industrial problems, and that it is an important algorithm to study further. In this paper, we present a simplified and faster implementation of Bradley’s procedure, and discuss our successful and unsuccessful attempts to improve it. |
| end_time |
nil |
→ |
2012-02-06 11:00:00 -0800 |
| id |
nil |
→ |
1250461916 |
| start_time |
nil |
→ |
2012-02-06 10:00:00 -0800 |
| title |
nil |
→ |
Galois Tech Talk: Efficient Implementation of Property Directed Reachability |
| url |
nil |
→ |
http://corp.galois.com/blog/2012/1/31/tech-talk-efficient-implementation-of-property-directed-reac.html |
| venue_id |
nil |
→ |
202390439 |
|