Giters
Corina Pasareanu (corinus)

corinus

Geek Repo

22

followers

0

following

1

stars

Company:NASA and CMU CyLab

Home Page:https://ti.arc.nasa.gov/profile/pcorina/

Github PK Tool:Github PK Tool

Organizations
isstac
SymbolicPathFinder

Corina Pasareanu's repositories

CartPoleExample

Language:ShellStargazers:0Issues:0Issues:0

jpf-core

My fork of https://github.com/javapathfinder/jpf-core

Language:JavaStargazers:0Issues:1Issues:0

neurospf

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

scad_tot

SCAD TakeOverTime neural network & verification

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

SymExeAndTest

book chapter on symbolic execution and testing

Stargazers:0Issues:4Issues:0