« September 2005 | Main | November 2005 »
October 05, 2005
[Research] Writing a debugger for C# in C#
The goal here is to turn a C# debugger for C# into a C# model checker for C#. Such a thing is similar to the Java PathFinder or our own model checker called Estes. It looks like we can hijack the Microsoft mdbg sample to do our bidding. Mostly we just need a way to get and set variable and registe values (including the program counter, yikes)
Here's a hard to find tip on how to read the code.
Posted by jones at 09:42 PM | Comments (0)
October 03, 2005
[Research] Vocabulary for "Modeling, Optimization and Computation for Software Verification" by Roozbehani et al
I am reading this great paper on Modeling and verification of software from a control theoretic point of view. It a different approach to the same problem on of my MS students and I are thinking about. Sadly, I don't have the vocabulary to understand the paper. I also find taht I do better when I write down what I learn. Here goes...
- Affine Transformation -- From MathWorld: Preserves lines and proportions but not angles. All triangles are in the same affine class.
Posted by jones at 03:49 PM | Comments (1)