GSoC Organizations
Clear all filters
Shortcuts
First-time organizations (34)
View all
Years
2024
2023
2022
2021
2020
2019
View all
Categories
Data
Development tools
End user applications
Infrastructure and cloud
Media
Operating systems
View all
Technologies
python (267)
javascript (215)
c (168)
c++ (165)
java (115)
android (52)
View all
Topics
web (89)
machine learning (60)
cloud (57)
graphics (41)
education (32)
data science (30)
View all
TLA+
Visit Site
TLA+ is a formal specification language used to design, model and verify systems
Category
Programming languages
Years
2018
Technologies
java
ocaml
tla+
eclipse
smt
Topics
algorithms
formal methods
Past Projects
2018
CONCURRENT ON-THE-FLY SCC-BASED LTL MODEL CHECKING
Parv Mor
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...
More Details
Code Submission
