Steven Susanto

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Kairong Qian, Albert Nymeyer, Steven Susanto
Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. FORTE (2005)
Kairong Qian, Albert Nymeyer, Steven Susanto
Experiments with Multiple Abstraction Heuristics in Symbolic Verification. SARA (2005)