DARPA/Air Force Research Laboratory / International Journal / Simmons / /
Country
United Kingdom / /
Facility
University of Oxford / University of Glasgow / /
IndustryTerm
nondeterministic and real-time characteristics / wireless communication protocols / multimedia devices / energy consumption / command-line tool / model systems / avionic systems / probabilistic verification tools / probabilistic and stochastic hybrid systems / randomised security protocols / probabilistic real-time systems / probabilistic systems / energy / verification tool / /
MarketIndex
PRISM / /
Organization
UK School of Computing Science / Department of Computer Science / European Union / University of Oxford / University of Glasgow / Glasgow / /
Person
Gethin Norman / Fortuna / David Parker Time / David Parker / /
Position
model editor / Model / Major / natural model for such systems / /
Product
C-7077 / /
ProgrammingLanguage
Java / php / C++ / /
Technology
cryptography / wireless communication protocols / Java / CAV / simulation / operating systems / Bluetooth / GUI / randomised security protocols / /
PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK