Automaton: an autonomous coverage-based multiprocessor system verification environment. - Nadeem Malik; Steven Roberts; Alan Pita; Ryan Dobson (IEEE International Workshop on Rapid System Prototyping, 1997)

A toolset for assisted formal verification. - Nadeem Malik; Jason Baumgartner; Steven Roberts; Ryan Dobson (IPCCC, 1999)