Java PathExplorer - A Runtime Verification Tool (2001)

by Klaus Havelund , Grigore Rosu
Venue:In The 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space: A New Space Odyssey
Citations:29 - 4 self