| LS Lab |
| People |
| Research |
| Publications |
| Courses |
Logical Systems Lab @ Carnegie Mellon University |
||||||||||||||||||||||||
| LS Lab | ||||||||||||||||||||||||
Research TopicsThe Logical Systems Lab develops logic-based analysis and verification techniques for systems and is further devoted to the study of logical systems.
News
PeopleFaculty
Postdocs
Ph.D. Students
Visitors
|
||||||||||||||||||||||||
|
