Google Summer of Code
TLA+
About the Organization
TLA+ is a formal specification language used to design, model and verify systems
Primary Technologies & Languages
javaocamltla+eclipsesmt
Technical Topics & Focus Areas
algorithmsformal methods
Participation Years
Completed Projects Distribution
Annual Completed Projects History
TLA+Hover over bars to view completed counts
4
3
2
1
0
2018
Projects1
Years Active1
Stackjava
TierTier 1
Past Projects
Showing 1 of 1 projects. Click any project card for scope, mentors, and proposal studio.
CONCURRENT ON-THE-FLY SCC-BASED LTL MODEL CHECKING
intermediateMentors: Student: Parv Mor
<p>Project aims at implementation and proof of concurrent on-the-fly SCC detection algorithm to aid in liveness checking of TLC model checker. The goal is to allow TLC's liveness checking to scale on large state space as opposed to Tarjan's sequential solution to this problem.</p>