Stranger is a product of Verification Lab in the Computer Science Dept. at UCSB. Stranger uses Pixy as a front end and MONA automata package for automata manipulation. It has been developed by:

• Fang Yu    yuf at cs dot ucsb dot edu
• Muath Alkhalaf    muath at cs dot ucsb dot edu

Under the supervision of:

• Prof. Tevfik Bultan    bultan at cs dot ucsb dot edu