Pinned Repositories
164-screenreader
aiutare
Automated Analysis, Regression, and Evaluation
ArqCol
Sitios Arqueológicos de Colombia
eudoxus
eudoxus: UCLID5 text-to-code tool
FedericoAureliano.github.io
A simple script to generate a clean academic webpage
llama
λama is a work in progress!
PyExSMT
Python Symbolic Execution
pysmt
pySMT: A library for SMT formulae manipulation and solving
uclidfc
upverifier
Unbounded Verification of P(-like) Programs
FedericoAureliano's Repositories
FedericoAureliano/PyExSMT
Python Symbolic Execution
FedericoAureliano/llama
λama is a work in progress!
FedericoAureliano/uclidfc
FedericoAureliano/upverifier
Unbounded Verification of P(-like) Programs
FedericoAureliano/164-screenreader
FedericoAureliano/FedericoAureliano.github.io
A simple script to generate a clean academic webpage
FedericoAureliano/pysmt
pySMT: A library for SMT formulae manipulation and solving
FedericoAureliano/aiutare
Automated Analysis, Regression, and Evaluation
FedericoAureliano/ArqCol
Sitios Arqueológicos de Colombia
FedericoAureliano/eudoxus
eudoxus: UCLID5 text-to-code tool
FedericoAureliano/grid
FedericoAureliano/klee
KLEE Symbolic Execution Engine
FedericoAureliano/mc2
[research] A modular SMT solver in OCaml, based on mcSAT
FedericoAureliano/P
The P programming language.
FedericoAureliano/periodicals
FedericoAureliano/quals
FedericoAureliano/smyth
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
FedericoAureliano/StringSMTBenchmarks
Collection of string benchmarks and a website with up to date comparisons on these benchmarks.
FedericoAureliano/synthesis-benchmarks
uclid5 generated synthesis benchmarks
FedericoAureliano/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
FedericoAureliano/uclid5-api