Autor der Publikation

Using PVS to Prove Some Theorems Of David Parnas.

, und . HUG, Volume 780 von Lecture Notes in Computer Science, Seite 163-173. Springer, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

From Refutation to Verification.. FORTE, Volume 183 von IFIP Conference Proceedings, Seite 369-374. Kluwer, (2000)Mechanized Formal Methods: Progress and Prospects.. FSTTCS, Volume 1180 von Lecture Notes in Computer Science, Seite 43-51. Springer, (1996)Theorem Proving for Verification.. MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 39-57. Springer, (2000)Mechanizing Formal Methods: Opportunities and Challenges.. ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 105-113. Springer, (1995)An Operational Semantics for Stateflow., und . FASE, Volume 2984 von Lecture Notes in Computer Science, Seite 229-243. Springer, (2004)Proof of separability: A verification technique for a class of a security kernels.. Symposium on Programming, Volume 137 von Lecture Notes in Computer Science, Seite 352-367. Springer, (1982)A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model., und . FTCS, Seite 402-411. IEEE Computer Society, (1993)What Use is Verified Software?. ICECCS, Seite 270-276. IEEE Computer Society, (2007)Harnessing Disruptive Innovation in Formal Verification.. SEFM, Seite 21-30. IEEE Computer Society, (2006)A case-study in component-based mechanical verification of fault-tolerant programs., , und . WSS, Seite 33-40. IEEE Computer Society, (1999)