| 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 |
