[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

GurfinkelDevereuxChechik02
  1. Arie Gurfinkel & Benet Devereux & Marsha Chechik
  2. Model Exploration with temporal logic query checking
  3. SIGSOFT 2002/FSE 10 & ACM SIGSOFT Software Engineering Notes V27n6(Nov 2002)pp139-148
  4. =DEMO TOOL MODEL CHECKING CTL QUERIES
  5. Given a finite state model enable the faster answering of questions like: what property is always true with p.
  6. Cruise control example.
  7. refers to Chan's original idea.
  8. Developed to [GurfinkelChechikDevereux03]

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]