A hierarchical approach to the formal verification of embedded systems using MDGs
Embedded systems are finding widespread application including communication systems, factory automation, graphics and imaging systems, medical equipment and even household appliances. With the increasing emergence of mixed hardware/software systems, it is important to ensure the correctness of such...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1999
|
| Online Access: | http://spectrum.library.concordia.ca/1090/1/MQ47823.pdf Balakrishnan, Subhashini <http://spectrum.library.concordia.ca/view/creators/Balakrishnan=3ASubhashini=3A=3A.html> (1999) A hierarchical approach to the formal verification of embedded systems using MDGs. Masters thesis, Concordia University. |
Internet
http://spectrum.library.concordia.ca/1090/1/MQ47823.pdfBalakrishnan, Subhashini <http://spectrum.library.concordia.ca/view/creators/Balakrishnan=3ASubhashini=3A=3A.html> (1999) A hierarchical approach to the formal verification of embedded systems using MDGs. Masters thesis, Concordia University.