Stanford Security Lab

Library of Prolog Models

Summary

For reference, a number of Prolog models that were developed for research and class projects are collected here.

Models

Back to Model Checking Page