Back to TLA+
GSoC 2018

CONCURRENT ON-THE-FLY SCC-BASED LTL MODEL CHECKING

Project details

Contributor

Parv Mor

Mentors

Markus Kuppe, tla+guru

Technologies

Not listed in the archive