Artur Meski
|
142846b90c
|
Fixed a bug with missing process enabledness encoding in context; fixed bit count for CA
|
2018-04-23 20:15:46 +01:00 |
|
Artur Meski
|
3157bb09ef
|
Support for NK
|
2018-04-21 22:26:42 +01:00 |
|
Artur Meski
|
d2a9b5733c
|
RSCTL -> RSCTLK
|
2018-04-21 19:33:32 +01:00 |
|
Artur Meski
|
09578a075f
|
Quantification for only the i-th process
|
2018-04-21 19:15:06 +01:00 |
|
Artur Meski
|
f5e0beb513
|
Parsing of K
|
2018-04-15 20:00:05 +01:00 |
|
Artur Meski
|
81e9d13ade
|
Expistemic operators, quantification
|
2018-04-15 19:01:30 +01:00 |
|
Artur Meski
|
8a9ba95fed
|
Quantification BDDs for each process; example
|
2018-04-15 18:47:52 +01:00 |
|
Artur Meski
|
d34e3954c4
|
First working version of rsCTL verification.
|
2018-04-15 13:20:07 +01:00 |
|
Artur Meski
|
c4c3af0300
|
Removed action sets in formulae
|
2018-04-15 12:25:57 +01:00 |
|
Artur Meski
|
30b62c88c6
|
rsCTL PVs: process_name.entity_name.
|
2018-04-14 22:10:56 +01:00 |
|
Artur Meski
|
cdd463d552
|
Average results
|
2018-04-07 20:52:51 +01:00 |
|
Artur Meski
|
d8398085aa
|
Clean-up
|
2018-04-03 20:37:38 +01:00 |
|
Artur Meski
|
6e54380f14
|
It works!
|
2018-04-03 20:35:12 +01:00 |
|
Artur Meski
|
95d8123a6b
|
Working DRS with one process
|
2018-04-03 20:05:50 +01:00 |
|
Artur Meski
|
5f578c9066
|
Context encoding and complementation
|
2018-04-03 17:50:23 +01:00 |
|
Artur Meski
|
6b485e4e08
|
Transition relation for DRS
|
2018-04-03 17:19:23 +01:00 |
|
Artur Meski
|
9a8255a355
|
Encoding DRS transition relation
|
2018-04-02 22:17:47 +01:00 |
|
Artur Meski
|
f73ebdd4bf
|
BDD initialisation
|
2018-04-02 14:44:44 +01:00 |
|
Artur Meski
|
a74bc58a0c
|
Initialisation of BDD variables
|
2018-04-01 20:59:10 +01:00 |
|
Artur Meski
|
04d2b628f5
|
Maps for local entities
|
2018-03-30 20:07:24 +01:00 |
|
Artur Meski
|
dc241ebf78
|
Cleanup
|
2018-03-30 18:32:34 +01:00 |
|
Artur Meski
|
c89e336862
|
Printing of entities per proc
|
2018-03-30 18:30:08 +01:00 |
|
Artur Meski
|
e3ed26e4a1
|
Entities used per process (in reactions)
|
2018-03-30 17:51:29 +01:00 |
|
Artur Meski
|
bac84bfe9a
|
Formatting
|
2018-03-29 17:02:55 +01:00 |
|
Artur Meski
|
212321c6cb
|
Parsing, printing... Context in CA
|
2018-03-29 17:01:28 +01:00 |
|
Artur Meski
|
38683e1041
|
Makefile update
|
2018-03-28 21:02:46 +01:00 |
|
Artur Meski
|
5f1a759c8f
|
Reformatting
|
2018-03-28 21:00:44 +01:00 |
|
Artur Meski
|
c90a87875a
|
Context automaton with augmented context: parsing
|
2018-03-28 20:46:19 +01:00 |
|
Artur Meski
|
753b217721
|
Printing of reactions
|
2018-03-28 18:58:59 +01:00 |
|
Artur Meski
|
99fbed638c
|
Reactions organised by process
|
2018-03-28 18:11:00 +01:00 |
|
Artur Meski
|
179c199ece
|
Processes, switching
|
2018-03-28 15:35:48 +01:00 |
|
Artur Meski
|
91ccf628f5
|
Example for CA
|
2018-03-27 18:31:40 +01:00 |
|
Artur Meski
|
ae740fa885
|
PV vectors for global state with CA, states printing (resolved an issue with duplicates)
|
2018-03-27 18:19:06 +01:00 |
|
Artur Meski
|
c74d4bdd0c
|
Context automaton works with RS
|
2018-03-27 15:41:50 +01:00 |
|
Artur Meski
|
1f01dce3cc
|
Formatting, initial state encoding
|
2018-03-26 22:29:11 +01:00 |
|
Artur Meski
|
03cbf26afa
|
Bugfixes
|
2018-03-26 22:05:23 +01:00 |
|
Artur Meski
|
76ab891786
|
Transition relation encoding
|
2018-03-26 21:37:43 +01:00 |
|
Artur Meski
|
32fdad662b
|
CtxAutTransition(s), renaming
|
2018-03-26 19:42:14 +01:00 |
|
Artur Meski
|
def86df597
|
Doc
|
2018-03-26 19:37:08 +01:00 |
|
Artur Meski
|
0c9665d1b6
|
Typo
|
2018-03-26 19:22:19 +01:00 |
|
Artur Meski
|
e3119099ea
|
Context automaton state encoding
|
2018-03-26 19:18:41 +01:00 |
|
Artur Meski
|
fa587e6f2a
|
Started on encoding for CA
|
2018-03-26 13:10:26 +01:00 |
|
Artur Meski
|
ee441ab390
|
Types
|
2018-03-26 11:00:23 +01:00 |
|
Artur Meski
|
44ea91c10e
|
Types in separate file. Other stuff...
|
2018-03-26 10:47:46 +01:00 |
|
Artur Meski
|
600f5c0daa
|
Initial RS states vs initial CA states (they are incompatible)
|
2018-03-04 19:46:09 +00:00 |
|
Artur Meski
|
f55d433791
|
CA initial state
|
2018-03-04 15:32:16 +00:00 |
|
Artur Meski
|
18004b916e
|
CA input (done); initial state missing
|
2018-03-03 22:38:51 +00:00 |
|
Artur Meski
|
c5b4dc91d9
|
Working on CA
|
2018-03-03 21:56:03 +00:00 |
|
Artur Meski
|
cf8c5df9ea
|
CA files
|
2018-03-03 21:55:43 +00:00 |
|
Artur Meski
|
c853e40ad7
|
RS with context automaton (we embed CA with RS)
|
2018-03-03 21:19:13 +00:00 |
|