Home
Highlights
Research
Charter

People
Workgroups
Papers
Conferences
Education
Projects
Presentations
Seminar
Links

Calendar

FAQ
Downloads
Search

Research

Analysis, Synthesis, Verification of Electronic Systems

Blast: The Berkeley Lazy Abstraction Software Verification Tool

Giotto: A Methodology for Embedded Control Systems Development

Mescal: Modern Embedded Systems, Compilers, Architectures and Languages

Mocha: Exploiting Modularity in Model Checking

HyTech: A symbolic model checker for hybrid automata

Metropolis: Design Environment for Heterogeneous Systems

Nephest: Open platforms for embedded software research

Ptolemy: Design technology for heterogeneous systems

Viptos: a block-diagram editor and simulator for TinyOS systems

See also the downloads page.

You are not logged in

©2002-2008 Chess