Automatic verification of behavioral specifications in software intensive systems
Modern systems tend to exhibit an ever increasing complexity especially due to their software design components and programmable aspects which are nowadays ubiquitous. Consequently, in order to assure reliable and dependable systems, sustained efforts are required in the process of system verificati...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2007
|
| Online Access: | http://spectrum.library.concordia.ca/975383/1/MR34650.pdf Soeanu Caval, Andrei <http://spectrum.library.concordia.ca/view/creators/Soeanu_Caval=3AAndrei=3A=3A.html> (2007) Automatic verification of behavioral specifications in software intensive systems. Masters thesis, Concordia University. |
Internet
http://spectrum.library.concordia.ca/975383/1/MR34650.pdfSoeanu Caval, Andrei <http://spectrum.library.concordia.ca/view/creators/Soeanu_Caval=3AAndrei=3A=3A.html> (2007) Automatic verification of behavioral specifications in software intensive systems. Masters thesis, Concordia University.