Back to Results
First PageMeta Content
Logic / Mathematical logic / Theoretical computer science / Temporal logic / Model checkers / Linear temporal logic / NuSMV / Model checking / Concurrency / Finite model theory / Planning Domain Definition Language / SMV


On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith
Add to Reading List

Document Date: 2009-08-25 03:10:48


Open Document

File Size: 223,47 KB

Share Result on Facebook