ferhaterata

PhD Candidate at Yale

Yale UniversityNew Haven

Pinned Repositories

kodkod
Kodkod solver for relational logic
Language:Java74 8 123
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Language:Java1 2 00
arby
An embedding of Alloy in Ruby
Language:Ruby1 2 00
chocosolver
Alternative backend for Clafer using the Choco solver.
Language:Java10
emf
EMF project repository (emf)
Language:Java1 2 00
etap
Energy-aware Timing Analysis of Intermittent Programs
Language:HTML3 2 01
microsat-cpp
micro SAT solver written in c++
Language:C++0 2 00
vc-gen
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
Language:C++2 3 00
AlloyInEcore
Embedding of First-Order Relational Logic into Meta-Object Facility
Language:Java3 2 01
Tarski
A Platform for Automated Analysis of Traceability (WP3)
Language:Java8 3 01

ferhaterata's Repositories

ferhaterata/arby
An embedding of Alloy in Ruby
Language:Ruby1 2 00
ferhaterata/angularjs-githubapi-example
AngularJS example calling the GitHub API
Language:CSS
ferhaterata/EMFtoCSP
Bounded verification of UML/OCL (or EMF/OCL) models
ferhaterata/mylyn.docs.intent.main
Intent project repository (mylyn.docs.intent.main)
Language:Java