Discover @Ricagraca Open Source projects

Ricardo Graça (@Ricagraca)

Ricagraca

Stars
2
Global Rank 2,219,069 (Top 77 %)
Followers 2
Following 2
Registered about 7 years ago
Most used languages

M4 50.0 %

Coq 50.0 %
Location 🇵🇹 Portugal
Country Total Rank 6,675
Country Ranking

M4 2

Coq 5

SMTCoqZ3

Extending the SMTCoq plugin with the Z3 SMT solver.

taPPCT

With this project, I want to make a blending between Persevere and taPCT. The idea is to find bugs in large amounts of concurrent threading instruction. For that we will first try and identify with this tool some known bugs from nano and emacs versions that were not yet corrected. We first model the system call as a set of events and then apply the taPCT algorithm when we are running multithreading programs.