[X] The "/vmpk/vmpk-0.2.5-setup.exe" file could not be found or is not available. Please select another file.

RefChecker is a model checker for systems with a dynamic structure, such as e.g. Object Petri Nets.


http://refchecker.sourceforge.net





Separate each tag with a space.

Ratings and Reviews

Be the first to post a text review of RefChecker. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

  • Code committed

    ager committed patchset 53 of module refchecker to the RefChecker CVS repository, changing 2 files

    posted by ager 2964 days ago

  • Code committed

    ager committed patchset 52 of module refchecker to the RefChecker CVS repository, changing 6 files

    posted by ager 2965 days ago

  • Code committed

    ager committed patchset 51 of module refchecker to the RefChecker CVS repository, changing 1 files

    posted by ager 2965 days ago

  • Code committed

    mailund committed patchset 50 of module refchecker to the RefChecker CVS repository, changing 8 files

    posted by mailund 2966 days ago

  • Code committed

    mailund committed patchset 49 of module refchecker to the RefChecker CVS repository, changing 1 files

    posted by mailund 2966 days ago

  • Code committed

    mailund committed patchset 48 of module refchecker to the RefChecker CVS repository, changing 1 files

    posted by mailund 2966 days ago

  • Code committed

    mailund committed patchset 47 of module refchecker to the RefChecker CVS repository, changing 1 files

    posted by mailund 2966 days ago

  • Code committed

    mailund committed patchset 46 of module refchecker to the RefChecker CVS repository, changing 18 files

    posted by mailund 2966 days ago

  • Code committed

    mailund committed patchset 45 of module refchecker to the RefChecker CVS repository, changing 1 files

    posted by mailund 2966 days ago

  • refchecker RefChecker-0.1.9 file released: RefChecker-0.1.9.tar.gz

    2001-09-25 Thomas Mailund <mailund@sunfire.daimi.au.dk> <ul> <li> configure.in: bumped to version 0.1.9. <li> src/statespace.cc (get_state): Fixed get_state so it actually uses the hash table as a hash table, not as a linked list. </ul> 2001-09-24 Thomas Mailund <mailund@sunfire.daimi.au.dk> <ul> <li> python/refcheck/Makefile.am (install-data-local): installation of python files. <li> tools/cire.pl: matching 'end ...' to the right begin. <li> src/klass.hh: Added a method for checking enableness. Changed the different tests and tools to support this. I haven't exported this method to Python yet, 'cause I'm not sure if it will be neede there. It is mostly aimed at the GC code that should get done real soon now. </ul> 2001-09-23 Thomas Mailund <mailund@sunfire.daimi.au.dk> <ul> <li> src/profile.hh: added some profiling stuff. </ul> 2001-09-19 Mads Sig Ager Jensen <mads@daimi.au.dk> <ul> <li> src/statespace.[hh,cc]: changed representation of states from a vector into a hash_set. Still need to play with the hash-function a lot. </ul> 2001-09-17 Thomas Mailund <mailund@sunfire.daimi.au.dk> <ul> <li> python/refcheck/properties.py (Property.dispatcher): collecting invariant violations rather than raising an exception. </ul>

    posted 2966 days ago

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

RefChecker Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review