Margrave Information

Authors

of the Brown PLT research group.

Contact

Please fill free to email Michael Carl Tschantz (mtschant 'at' cs.brown.edu) with any questions or bugs.

Research
The authors wrote a research paper about Margrave, which will be presented at ICSE '05:
Verification and Change-Impact Analysis of Access-Control Policies.

Acknowledgments

The authors wish to acknowledge Fabio Somenzi for providing CUDD, an ADD package that Margrave uses.