Automating modular program verification by refining specifications
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2008.
Main Author: | Taghdiri, Mana, 1979- |
---|---|
Other Authors: | Daniel N. Jackson. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2008
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/43055 |
Similar Items
-
Lightweight modelling and automatic analysis of multicast key management schemes
by: Taghdiri, Mana, 1979-
Published: (2014) -
Modular verification of hardware systems
by: Vijayaraghavan, Muralidaran
Published: (2016) -
Modular data structure verification
by: Kuncak, Viktor (Viktor Jaroslav), 1977-
Published: (2007) -
Automated verification of model-based programs under uncertainty
by: Mahtab, Tazeen, 1981-
Published: (2005) -
A lightweight specification language for bounded program verification
by: Yessenov, Kuat T
Published: (2010)