Specification and Compositional Verification of Real-Time Systems by Jozef Hooma
67,03 €
By Jozef Hooman. Author Jozef Hooman. For both approaches a compositionalproof system has been formulated to verify that a programsatisfies a specification. Next,this model is generalized to multiprogramming where severalprocesses may share a processor and scheduling is based onpriorities.The proof systems are shown to be sound andrelatively complete with respect to a denotational semanticsof the programming language.
Jetzt bei Ebay:
