Background information Formal verification methods based on theorem proving techniques and modelchecking –to prove the absence of errors (in the formal.
Knowledge Representation II Praveen Paritosh CogSci 207: Fall 2003: Week 2 Tue, Oct 5, 2004.
Synchronizations with Mobility for Graph Transformations joint work with Ugo Montanari Dipartimento di Informatica Università di Pisa Ivan Lanese Dipartimento.