Program verification
Material type:
TextPublication details: Cambridge : , 1992Description: xi, 312 p. : il. ; 24 cmISBN: - 0201416085
Contents:
On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs.
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Libros
|
Biblioteca Fac.Informática | D.2.4 FRA (Browse shelf(Opens below)) | Available | DIF-03422 |
Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)
| D.2.4 ALE Métodos formais para o desenvolvimento de programas | D.2.4 ALE Métodos formais para o desenvolvimento de programas | D.2.4 APT Verification of sequential and concurrent programs | D.2.4 FRA Program verification | D.2.4 FRA Fairness | D.2.4 HAI Verifying concurrent processes using temporal logic | D.2.4 HAN Handbook of software reliability engineering |
On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs.
There are no comments on this title.