C. Norris Ip

Search Utilities

• Yahoo
• Lycos
• Lycos Too

Friends

• Fong Pong
• Steven Li
• Frank Liu
• Natarajan Shankar
• John Rushby

Formal Methods

• SPIN
• SMV Code
• SMV Model Checking
• Model Checking at CMU
• Formal Methods at BYU
• Formal Methods at Oxford
• CV - A Model Checker for VHDL

Research

• People on Structures (including category theory, logic, universal algebra, and formal methods),
• Bay Area Gigabit Network Testbed (an ATM testbed (155Mbps) with 15 participating sites),
• Theoretical Computer Science,
• Formal Methods Workshop with ISSTA (Jan96)
• Forum
• Nitpick
• Forum
• DACafe

Companies

• TechWeb
• Journal list at CMU
• Sistla and a list of papers published

Companies

• Intel
• Tribe Computer Works(networking)
• IEEE
• casc
• vjf
• SONY
• SFCU
• SUN
• SUN too
• CNN
• HOME

Christianity Related

• Chinese Christian Fellowship at Stanford
• PBC
• LGC
• IV

Stanford Related

• Business Cards at Stanford
• Business Cards at Stanford (new)
• Public CS files
• I-Center
• Gates Building
• Forum?
• ADEPT
• I-center

Other

• Cousot's paper
• HONG KONG
• Angband Game
• Angband ftp 1
• Angband ftp 2
• shareware
• comic
• Chinese Calendar

Publication Sites

• Wisconson Wind Tunnel?
• Wisconson