Skip to main content

Search the KTH website
Svenska

Formally Verifying Decompositions of Stochastic Specifications (With Proofs)

DiVA: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-315290

PDF: Formally Verifying Decompositions of Stochastic Specifications (With Proofs).pdf

Anton Hampus,
DOKTORAND
ahampus@kth.se

Portfolio

Formally Verifying Decompositions of Stochastic Specifications (With Proofs)
Using Timed Muller Automata to Verify Refinement of Probabilistic Contracts (With Proofs)