Login | Register
My pages Projects Community openCollabNet

Discussions > dev > [gef-dev] Bandera uses GEF

gef
Discussion topic

Back to topic list

[gef-dev] Bandera uses GEF

Reply

Author Todd Wallentine <tcw at ksu dot edu>
Full name Todd Wallentine <tcw at ksu dot edu>
Date 2003-06-18 09:07:41 PDT
Message Bandera uses GEF:
http://www.cis.ksu.edu/bandera

Bandera is a tool suite that is that allows users to apply finite-state
verification techniques to Java applications. GEF is used in the
counter example GUI.

Todd Wallentine
Research Associate


--------------------​--------------------​--------------------​---------
To unsubscribe, e-mail: dev-unsubscribe at gef dot tigris dot org
For additional commands, e-mail: dev-help at gef dot tigris dot org

« Previous message in topic | 1 of 2 | Next message in topic »

Messages

Show all messages in topic

[gef-dev] Bandera uses GEF Todd Wallentine <tcw at ksu dot edu> Todd Wallentine <tcw at ksu dot edu> 2003-06-18 09:07:41 PDT
     Re: [gef-dev] Bandera uses GEF raphael Raphael Langerhorst 2003-06-19 09:12:46 PDT
Messages per page: