artur/ta-splitting

Fork 0

Go to file

Artur Meski e3a018d2be README

2019-03-02 19:48:10 +00:00

netfiles

Initial commit

2019-02-22 17:33:33 +00:00

anmacro.h

Initial commit

2019-02-22 17:33:33 +00:00

anproc.c

Initial commit

2019-02-22 17:33:33 +00:00

anproc.h

Initial commit

2019-02-22 17:33:33 +00:00

anpsmod.c

Initial commit

2019-02-22 17:33:33 +00:00

anpsmod.h

Initial commit

2019-02-22 17:33:33 +00:00

anread.c

Initial commit

2019-02-22 17:33:33 +00:00

anread.h

Initial commit

2019-02-22 17:33:33 +00:00

antclass.c

Initial commit

2019-02-22 17:33:33 +00:00

antclass.h

Initial commit

2019-02-22 17:33:33 +00:00

antypes.h

Initial commit

2019-02-22 17:33:33 +00:00

dbm_macro.h

Initial commit

2019-02-22 17:33:33 +00:00

dbm_testing.c

Initial commit

2019-02-22 17:33:33 +00:00

dbm.c

Initial commit

2019-02-22 17:33:33 +00:00

dbm.h

Initial commit

2019-02-22 17:33:33 +00:00

macro.h

Initial commit

2019-02-22 17:33:33 +00:00

Makefile

Initial commit

2019-02-22 17:33:33 +00:00

README.md

README

2019-03-02 19:48:10 +00:00

test.sh

Initial commit

2019-02-22 17:33:33 +00:00

TODO

Initial commit

2019-02-22 17:33:33 +00:00

verifier.l

Initial commit

2019-02-22 17:33:33 +00:00

verifier.y

Initial commit

2019-02-22 17:33:33 +00:00

README.md

TA Splitting for Reachability Testing

Reachability testing in timed automata using pseudo-simulating abstract model generated on-the-fly and using zone splitting and DBMs