jModex

MODel EXtraction for Verifying Security Properties of Web Applications

Details and a demo of this tool can be found at:

http://staff.cs.upt.ro/~petrum/index.php?n=Tools.JModex