Seminar by Franco Raimondi

On November 20 Franco Raimondi gave a talk at University of Liverpool about his work on verification of multi-agent systems in collaboration with NASA Ames. The talk was an overview of a novel approach to verify human-computer interactions specified in Brahms using Java Pathfinder and other model checkers such as SPIN, NuSMV, and PRISM.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!