Model checking JAVA programs using JAVA PathFinder

Public

Published in International Journal on Software Tools for Technology Transfer (STTT) • Mar 1, 2000

Authors:

Klaus Havelund

,

Thomas Pressburger

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!