The Systems and Software Development Laboratory (SSDL) in the Computer Science Department of the Technion is the primary laboratory dealing with tools, language constructs, and methodology for improving the quality of systems and software at all stages of development. The scope of this laboratory has recently been expanded to combine several areas. One research direction involves the application and extension of formal methods for specification and verification. Another deals with novel language constructs to improve modularity and overcome the complexity of concurrent programming. A third group of tools can be used for program analysis and visualization of requirements.