andreaskatis
Hi there! I am a Computer Scientist for KBR, Inc at NASA Ames Research Center. My main line of work is in the application of Formal Methods in Software.
NASA Ames Research Center
Pinned Repositories
andreaskatis.github.io
Config files for my GitHub profile.
ASE2017FixpointSynthesis
cgc-server
cgc-synthesized-fuzzers
CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
Coq
Formalizations and Theorem proofs
fuzzersynthesis
jkind-1
JKind - a Java implementation of the KIND model checker
SMTLib2C
A simple tool for translating Skolem functions in SMT-Lib 2.0 to C implementations
synthesis-benchmarks
Benchmarks for Synthesis algorithms in JKind
andreaskatis's Repositories
andreaskatis/jkind-1
JKind - a Java implementation of the KIND model checker
andreaskatis/synthesis-benchmarks
Benchmarks for Synthesis algorithms in JKind
andreaskatis/cgc-synthesized-fuzzers
andreaskatis/fuzzersynthesis
andreaskatis/SMTLib2C
A simple tool for translating Skolem functions in SMT-Lib 2.0 to C implementations
andreaskatis/CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
andreaskatis/Coq
Formalizations and Theorem proofs
andreaskatis/andreaskatis.github.io
Config files for my GitHub profile.
andreaskatis/ASE2017FixpointSynthesis
andreaskatis/cgc-server
andreaskatis/FormaliSESynthesis
andreaskatis/InductiveSynthesis
andreaskatis/osate2-core
Open Source AADL2 Tool Environment
andreaskatis/papers
Source from published papers
andreaskatis/smaccm
andreaskatis/SYNTECH-benchmarks
Collection of assume-guarantee contracts from the SYNTECH project