|
|
 |
|
NIA Formal Methods Seminar by Gianfranco Ciardo |
|
Date: May 17, 2006
Time: 10:30am
Location: NIA, Rm 137
A General Acceleration Technique for Symbolic State-Space Generation Algorithms
Gianfranco Ciardo, University of California at Riverside
This talk surveys some recent work aimed at improving the generality and efficiency of decision-diagram-based algorithms. In the first part (published in CHARME 2005) we present results that fully generalize the saturation algorithm. In the second part (submitted for publication), we present a new automatic approach to speed up symbolic fixpoint iterations based on the idea of chaining.
|
|
|
Home