King Fahd University of Petroleum / King Abdullah University of Science / Jos´e Meseguer University of Illinois / /
IndustryTerm
server program pvesta-server / stochastic systems / parallel algorithms / probabilisitic systems / statistical quantitative analysis algorithm / particular server / probabilistic algorithms / probabilistic communication protocol / secure communications system / cyber-physical systems / black-box probabilistic systems / object management / statistical model checking tool / computing / probabilistic real-time systems / reduced processing / probabilistic systems / real-time systems / model checking algorithms / probabilistic object systems / /
MusicAlbum
Monte Carlo / /
OperatingSystem
DoS / /
Organization
King Fahd University of Petroleum and Minerals / University of Illinois / National Science Foundation / Minerals / and King Abdullah University of Science and Technology / /
Person
Mahesh Viswanathan / Gul Agha / Koushik Sen / /
ProgrammingLanguage
Java / /
ProvinceOrState
Illinois / /
PublishedMedium
Formal Aspects of Computing / Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool Musab AlTurki and Jos´e Meseguer