Tomás E. Uribe

On-line Publications (in reverse chronological order):

Click here for a list with Abstracts


Abstraction-based Deductive-Algorithmic Verification of Reactive Systems. Computer Science Department, Stanford University, December 1998. Technical report STAN-CS-TR-99-1618. Abstract. Also available, an errata sheet with corrections (last update: April 29, 1999).

Research Papers:



FRAPPS itself is available via anonymous ftp from

The Stanford home page.

The Computer Science Department home page.

The Theory Division home page.