![Mathematical logic / Computing / NuSMV / XML / Static single assignment form / Model checking / Linear temporal logic / Computation tree logic / Type system / Theoretical computer science / Temporal logic / Logic in computer science Mathematical logic / Computing / NuSMV / XML / Static single assignment form / Model checking / Linear temporal logic / Computation tree logic / Type system / Theoretical computer science / Temporal logic / Logic in computer science](https://www.pdfsearch.io/img/4f4e584b478d04f2c49e76d145c22880.jpg)
| Document Date: 2011-08-18 01:13:32 Open Document File Size: 366,32 KBShare Result on Facebook
Company Ralf Huuck Ansgar Fehnker National ICT Australia Ltd. / / / Facility University of New South Wales Locked Bag / / IndustryTerm static analysis tool / static analysis tools / reactive systems / real software / / Organization University of New South Wales Locked Bag / / Person Michael Vistein Frank Ortmeier Wolfgang / / Position input model for NuSMV / / Product Goanna / / ProgrammingLanguage C / XPath / C++ / / Region South Wales / / Technology XML / finite state machine / / URL www.elsevier.nl/locate/entcs / http /
SocialTag |