VESTA swMATH ID: 8425 Software Authors: Koushik Sen, Mahesh Viswanathan, Gul Agha Description: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. VESTA is a tool for statistical analysis of probabilistic systems. It supports statistical model-checking [6, 7] and statistical evaluation of expected values of temporal expressions. For model-checking VESTA uses a sequence of inter-related statistical hypothesis testing to check if a property specified in probabilistic computation tree logic (PCTL) [3] or continuous stochastic logic (CSL) is satisfied by a stochastic model. Furthermore, VESTA supports the statistical computation of expected values of expressions written in a query language called Quantitative Temporal Expressions (or QUATEX in short). We next describe the various components of the tool. Homepage: http://osl.cs.illinois.edu/media/papers/sen-2005-qest-vesta.pdf Related Software: PRISM; Maude; HOL; Ymer; PVeStA; PMaude; ML; COSMOS; Uppaal; PLASMA; APMC; HASL; MRMC; PAGODA; MultiVeStA; CafeOBJ; MACOM; Isabelle; MOMENT2; Ptolemy Cited in: 22 Publications all top 5 Cited by 38 Authors 8 Hasan, Osman 8 Tahar, Sofiène 4 Olveczky, Peter Csaba 3 Liu, Liya 2 Ballarini, Paolo 2 Jegourel, Cyrille 2 Legay, Axel 2 Meseguer Guaita, José 2 Sedwards, Sean 1 Abbasi, Naeem 1 Aravantinos, Vincent 1 Arnold, Florian 1 Bae, Kyungmin 1 Barbot, Benoît 1 Bentea, Lucian 1 Bentriou, Mahmoud 1 Cournède, Paul-Henry 1 Duflot, Marie 1 Dullerud, Geir E. 1 Feng, Thomas Huining 1 Gebler, Daniel E. 1 Giese, Holger 1 Greifeneder, Jürgen 1 Guck, Dennis 1 Haddad, Serge 1 Hatefi, Hassan 1 Krause, Christian 1 Lee, Edward Ashford 1 Liu, Si 1 Maximova, Maria 1 Picaronny, Claudine 1 Roohi, Nima 1 Sen Gupta, Indranil 1 Thorvaldsen, Stian 1 Tripakis, Stavros 1 Viswanathan, Mahesh 1 Wang, Yu 1 West, Matthew all top 5 Cited in 11 Serials 4 Theoretical Computer Science 1 Mathematical Methods in the Applied Sciences 1 Science of Computer Programming 1 Journal of Computer Science and Technology 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Formal Methods in System Design 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Logic 1 Journal of Logical and Algebraic Methods in Programming 1 Berichte aus der Automatisierungstechnik Cited in 4 Fields 22 Computer science (68-XX) 6 Probability theory and stochastic processes (60-XX) 3 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) Citations by Year