Journal: Formal Methods in System Design

Volume 21, Issue 3

251 -- 280Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün. Combining Software and Hardware Verification Techniques
281 -- 315Peter Buchholz, Peter Kemper. Hierarchical Reachability Graph Generation for Petri Nets
317 -- 338Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster. A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits