just a description
Some research from older days :)
T3 is a random testing tool for Java. Would be fun to revive this project and put in new concepts… if we can magically create time :)
UNITY related stuffs. UNITY is invented by Chandy and Misra back in 80s. It is an elegant formalism for modelling and reasoning about distributed systems. My work was on compositionality and mechanical verification of the needed theories in a higher order theorem prover. ‘Compositionality’ here means that you can combine/compose component programs and infer properties of the composite from the properties of the components without having to prove them from scratch. Not all properties are composable like that, so in my work I looked at which properties are composable, and under what condition. Should find some time to link this with the currently popular Separation Logic …