Tools Developed by Tevfik Bultan's Research Group

Web Service Analysis Tool

Action Language Verifier and Composite Symbolic Library