The group has just released a new technical report that encompasses and summarizes previous work as well as introduces new ideas. See the Publications page.
Steve Thomas's Master's Thesis has been added to the Publications page.
Alex Henniges has joined the team and will be working on his Honors Thesis.
Alex Henniges has joined the team and will be working on his Honors Thesis.
The tXSchema language has undergone a thorough revamping and is now more robust and easier to use.
Two comprehensive squash tutorials are now posted. They should be a great way to get started with the system. A Temporal Validator tutorial is in the works.
Thanks to Phil Kaslo at the University of Arizona for helping us get the wiki online.