ECE News and Announcements

Nov 18, 2005
Logic and Formal verification    Bookmark and Share
Term: W 06
Course No.: EECS 480
Credit Hours: 4
Instructor: Bill Rounds
Prerequisites: EECS 376 or mathematical maturity

Course Description:
EECS 480 is a new course which explores the uses of logic in verifying hardware and software systems. It requires EECS 376, or appropriate mathematical maturity. The course is appropriate for both undergraduates and graduate students, particularly those in software who have an interest in programming languages. The course focuses on those aspects of logic which have been particularly useful in verifying systems. We look in particular those pieces of logic which have been developed into verifiers, or which have been made into automated theorem proving systems. We look at propositional logic and predicate logic, and then branch into newer kinds of logic such as temporal logic, showing how you can implement these. For example, the temporal logic CTL was developed into the SMV model-checking software and used to verify circuits. We also look at Hoare logic, and we consider efficient data structures like binary decision diagrams.    [More Info]
 
EECS News by Topic
EECS News by Faculty Name
ECE in the News 
04/17/14 Zhong-Norris: Mashable(with video) - Infrared Sensor Could Lead to Night Vision Co...
04/17/14 Wentzloff: PhysOrg - PsiKicks batteryless sensors poised for coming Internet of Th...
04/09/14 The Heritage of Mead & Conway: What Has Remained the Same, What Has Changed, What ...
04/08/14 Have New Cars Gone Haywire?
04/01/14 Guo: Science World - Beautiful Energy
03/20/14 Zhong-Norris: IEEE Spectrum - Graphene Gives You Infrared Vision in a Contact Lens

ECE Research News 
04/17/14 Halderman and Lafortune Join TerraSwarm Research Center
03/31/14 Bringing batteryless sensors to market
03/18/14 Thermal Vision: Graphene light detector first to span infrared spectrum
03/03/14 Photon Glue Enables New Quantum State That Could Mean Better Lighting, Solar Cells
03/03/14 Transparent color solar cells fuse energy, beauty
02/19/14 What are quantum computers going to do for us?

ECE News 
03/26/14 England appointed dean of CECS at UM-Dearborn
03/20/14 Advanced Smart Sensor Networks Open up a Multitude of Applications
02/27/14 Ask Anything: What Happens In Your Computer When You Turn It On?
02/20/14 Jasprit Singh on Technology and Wellness (video)
02/13/14 Asteroid mining could be useful to space travel
01/30/14 State Farm Gift Supports Student Projects Lab

ECE Faculty and Staff Awards 
02/21/14 Jamie Phillips Named Arthur F. Thurnau Professor
02/20/14 Now On YouTube: Prof. Ulabys Talk as the 2014 U-M Henry Russel Lecturer
01/24/14 2014 EECS Outstanding Achievement Awards
01/23/14 Six ECE Faculty Recognized for Excellence
12/18/13 Jason Davis Receives 2013 U-M Distinguished Diversity Leaders Award
12/18/13 Al Hero Named 2013 IEEE SPS Technical Achievement Award Winner

ECE Student News and Awards 
04/17/14 Isabel Martin Received CoE Dist. Leadership Award
04/11/14 Hands-On Robotics (video)
04/10/14 Student Spotlight: Christopher Boyd - From Robotics to MEMS Inertial Sensors
04/10/14 David Hong Awarded NSF Graduate Research Fellowship
04/10/14 Christopher Boyd Awarded NSF Graduate Research Fellowship
04/09/14 Student Spotlight: Mai Le - Finding a Better Way to Diagnose Breast Cancer with MRI

ECE Alumni News 
04/17/14 Alumni Spotlight: Steve Mollenkopf, New CEO of Qualcomm
03/07/14 Alumni Spotlight-Dawson Yee: Kinect-ing Xbox to the World
01/29/14 Alumni Spotlight: Babak Parviz: The Visionary Behind the Glass
01/29/14 Alumni Spotlight: Allan Evans and Avegant: Creating a brilliant multimedia experie...
12/02/13 Tongue Piercing Controls Wheelchair
12/02/13 Ivan LaHaie elected IEEE Fellow

ECE Course Announcements 
04/09/14 Fall 2014: Hands-On Robotics
04/03/14 Fall 2014: EECS 598-002 Power Semiconductor Devices
04/03/14 Fall 2014: EECS 598-001 Analysis of Electric Power Distribution Systems and Loads
03/20/14 Fall 2014: Applied matrix algorithms for signal processing, data analysis and mach...
11/26/13 Winter 2014: EECS 498-003 Multidisciplinary Capstone (MDE) Design Pilot
11/06/13 Winter 2014: EECS 598-007 Infrastructure for Vehicle Electrification

Add News Item     Update News Items