Falsification Tool
C++ Matlab Makefile C Other
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
benchmarks
graphNpaths
LICENSE
MODE_INVARIANT.m
NO_EVENT_FOUND.m
PROP_SAT.m
README.md
S3CAM.m
TRANSITION.m
cg_ksp.m
checkConstraintSat.m
checkIntersection.m
checkNreturnEvent.m
clean.sh
computePoly.m
cubeToPoly.m
demo_restart_simulink.m
dumpSimData.m
event_fun.m
genRandVectors.m
generateCellsFromRange.m
generateSamples.m
getCellRange.m
getPathInfo.m
getTransition.m
getXiXf.m
helper.m
hybrid_system_simulator.m
mySign.m
plot_trajs.m
prepEventDetection.m
prepMat4Opt.m
pruneSimilarTraj2.m
readKPaths.m
rows.m
run_s3cam.m
run_staliro.m
scale_cols.m
scatterX.m
simulateForSTaliroBB.m
simulateSystemCellBasedBB.m
simulateSystemCellBasedMERGEDBUGGYFLATIP.m
simulateSystemFromInitArrBB.m
snapToGrid.m
subDivideCells.m
uniformSample.m
writeAdjModeGraph.m
writeMat.m
writeMatFast.m

README.md

S3CAM: A Falsification Tool for Safety Properties of Hybrid Systems

###################

CONTENTS

###################

The archive containes

  • Implementation: S3CAM.m
  • graph search C code: ./src/graphNpaths

###################

SETUP

###################

###################

RUN

###################

  • run_s3cam.m demos how to run S3CAM

Note: The path of the benchmark files need to be added into Matlab before they can be run. (Open and run the file in Matlab or use 'addpath()' )

###################

Logs

###################

Each benchmark folder contains logs for all properties presented in the paper for both S-Taliro and Scatter-And-Simulate under respective folders.