|
GC6: Dependable Systems Evolution
|
PacemakerBoston Scientific has made publicly available a system specification for a pacemaker for use as a pilot project within the Verified Software Grand Challenge. The project is managed by the Software Quality Research Laboratory (SQRL) at McMaster University. |
|
Contact: jim@cs.york.ac.uk Last updated: 6th December 2007 |