Combining Software and Hardware Verification Techniques Robert P. KurshanVladimir LevinHüsnü Yenigün OriginalPaper Pages: 251 - 280
Hierarchical Reachability Graph Generation for Petri Nets Peter BuchholzPeter Kemper OriginalPaper Pages: 281 - 315
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits Tamir HeymanDanny GeistAssaf Schuster OriginalPaper Pages: 317 - 338