System Analysis and Verification Group
Overview

Group information
Group name	savg
Title	System Analysis and Verification Group
Summary
Description
Group type	Software project	Special interest group	Administrative group
People involved in this group
Administrators	Jaijeet Roychowdhury	jr	jr@eecs.berkeley.edu
Members	Karthik Venkatraman Aadithya, Mr.	aadithya
	Jaijeet Roychowdhury	jr	jr@eecs.berkeley.edu
Group configuration
Configuration options	Is enabled	Has members	Has administrator
	Fancy HTML	Fix HTML	Is searchable
	Is advertised
Workspace options	Home page	Discussion forum	Private forum
	FAQ	Member mail list	Member notification list
	Developer mail list	VC mail list	Public interest list
	Public announce list	VC module	Bugs
	Calendar	src directory	Notify Developers
	Wiki	Application Form	Show Publications
HTML authoring	None	VC checkin