bindump.cs | Reads a binary process dump and outputs its CCMB representation |
block.cs | Classes to represent and evaluate C# statement blocks and statements |
CCMAttributes.cs | Defines the attributes that are used in bisimulation verification: Event, Range, Property, Abstracts, Eq |
class.cs | Classes to represent classes and methods |
cs-parser.cs | Parse a C# file into a representing object tree |
cs-tokenizer.cs | |
cs2ccmb.cs | Determines a CCMB model of a CCM component written in C# |
debugging.cs | Classes to aid debugging (logger for now) |
decls.cs | Classes to represent attributes, qualified identifiers, variables and fields |
eqrel.cs | Classes to deal with abstraction: value range, equivalence relation, strate and transition abstraction relation |
expr.cs | Classes to represent and evaluate a C# expression tree |
iterator.cs | Classes to implement value iterators for several data types |
location.cs | |
pairset.cs | Efficient implementation for a set of object pairs |
process.cs | Classes to represent the generated model as a set of processes |
report.cs | |
sim.cs | Reads two binary process dumps and check whether they are (bi)similar |
statepredicate.cs | Classes to implement prediates (filters) over process states |