researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Formal Methods in System Design
Home
Index
Info
Issue
Volume
21
, Issue
3
251
--
280
Robert P. Kurshan
,
Vladimir Levin
,
Marius Minea
,
Doron Peled
,
Hüsnü Yenigün
.
Combining Software and Hardware Verification Techniques
281
--
315
Peter Buchholz
,
Peter Kemper
.
Hierarchical Reachability Graph Generation for Petri Nets
317
--
338
Tamir Heyman
,
Daniel Geist
,
Orna Grumberg
,
Assaf Schuster
.
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits