^{LoRea Group} 

Computer Sciences Faculty

University of the Basque Country (UPV/EHU) 

Department of Computer Language and Systems (LSI)

■    ■   ■    ■    ■    ■   ■

CS Prototype: An equality constraint solver

BCN Prototype: An implementation of Constructive Negation

A Tableau-based Theorem prover for Temporal Logic PLTL

A Resolution-based Theorem prover for Temporal Logic PLTL

Angluin's algorithm for learning DFA using JFLAP

SpecSatisfiabilityTool for testing specifications on XML documents