Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

srccheck's model_checking [7 articles]

Recent papers added to srccheck's library classified by the tag model_checking. You can also see everyone's model_checking.
  • Thorough static analysis of device drivers
    SIGOPS Oper. Syst. Rev., Vol. 40, No. 4. (October 2006), pp. 73-85.
    by Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con Mcgarvey, Bohus Ondrusek, Sriram K Rajamani, Abdullah Ustuner
    posted to model_checking slam tools by srccheck on 2008-04-07 12:23:24 as **
  • Lazy abstraction
    SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 58-70.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    posted to blast model_checking tools by srccheck on 2008-04-07 12:12:50 as read along with 3 people bfraser olesya zuleger
  • Effective typestate verification in the presence of aliasing
    (2006), pp. 133-144.
    by Stephen Fink, Eran Yahav, Nurit Dor, G Ramalingam, Emmanuel Geay
    posted to demand_driven model_checking static_analysis typestate by srccheck on 2008-03-04 13:59:44 as ****
  • Variance analyses from invariance analyses
    (2007), pp. 211-224.
    by Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter O'Hearn
    posted to model_checking popl07 verification by srccheck on 2008-02-20 13:11:50 as **
  • Static source code checking for user-defined properties
    Proc. IDPT 2002 (2002)
    by GJ Holzmann
    posted to idpt02 model_checking tools uno by srccheck on 2008-02-08 12:13:54 as *****
  • Model Checking
    (07 January 2000)
    by Edmund M Clarke, Orna Grumberg, Doron A Peled
    posted to model_checking textbooks by srccheck on 2008-02-06 13:23:13 as *** along with 8 people and 1 group hmeyer fheintz schuh cbertolini gfraser arturmeski juniorpivetta zuleger gk-intern
  • MOPS: an infrastructure for examining security properties of software
    (2002), pp. 235-244.
    by Hao Chen, David Wagner
    posted to ccs02 defect_search model_checking mops tocttou by srccheck on 2008-02-06 12:58:32 as read along with 2 people and 1 group rdyer shimomura Laboratory for Software Design
    • Note: You may cite this page as: http://www.citeulike.org/user/srccheck/tag/model_checking

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.