Back to Results
First PageMeta Content
Statistics / Applied mathematics / SPIN model checker / Mathematics / Markov chain / PRISM model checker / Algorithm / Probability / Model checkers / Markov models / Theoretical computer science


Quan%ta%ve  Verifica%on:   Correctness,  Reliability  and  Beyond   Dave  Parker   University  of  Birmingham    
Add to Reading List

Document Date: 2013-10-21 17:08:31

Open Document

File Size: 3,18 MB

Share Result on Facebook

City

Birmingham / /

Company

Toyota / Google / /

Facility

Birmingham/Oxford University / Beyond Dave Parker University of Birmingham Google / /

IndustryTerm

energy consump%on / communica%on media / expected energy consump%on / power management / algorithms/protocols / probabilis%c verifica%on tool / /

OperatingSystem

Microsoft Windows / /

Organization

Oxford University / University of Birmingham / /

Position

driver / player / /

Product

Ariane / /

Technology

network protocols / GUI / /

URL

www.prismmodelchecker.org / /

SocialTag