×

PARAM

swMATH ID: 9669
Software Authors: Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun
Description: PARAM: A Model Checker for Parametric Markov Models. We present PARAM 1.0, a model checker for parametric discrete-time Markov chains (PMCs). PARAM can evaluate temporal properties of PMCs and certain extensions of this class. Due to parametricity, evaluation results are polynomials or rational functions. By instantiating the parameters in the result function, one can cheaply obtain results for multiple individual instantiations, based on only a single more expensive analysis. In addition, it is possible to post-process the result function symbolically using for instance computer algebra packages, to derive optimum parameters or to identify worst cases.
Homepage: http://link.springer.com/chapter/10.1007/978-3-642-14295-6_56
Related Software: PRISM; PROPhESY; Storm; z3; iscasMc; Sylvan; SMT-LIB; Eigen; PASS; Rapture; MRMC; Bio-PEPA; Gurobi; FACT; CoCoALib; SMT-RAT; Prophet; GiNaC; CEGAR; Uppaal
Cited in: 20 Documents
all top 5

Cited by 61 Authors

4 Junges, Sebastian
3 Delahaye, Benoît
3 Katoen, Joost-Pieter
2 Ábrahám, Erika
2 Bacci, Giovanni
2 Baier, Christel
2 Bartocci, Ezio
2 Hahn, Ernst Moritz
2 Hensel, Christian
2 Jansen, Nils
2 Larsen, Kim Guldstrand
1 Abate, Alessandro
1 Asadi, Ali Naghash
1 Bart, Anicet
1 Bauer, Matthew Steven
1 Bortolussi, Luca
1 Chadha, Rohit
1 Chatterjee, Krishnendu
1 Cubuktepe, Murat
1 de Alfaro, Luca
1 Drechsler, Rolf
1 Ferrer Fioriti, Luis María
1 Forejt, Vojtěch
1 Fournier, Paulin
1 Gainer, Paul
1 Goharshady, Amir Kafshdar
1 Grosu, Radu
1 Hansen, Mikkel
1 Hermanns, Holger
1 Hutschenreiter, Lisa
1 Katsaros, Panagiotis
1 Klein, Joachim
1 Kremer, Gereon
1 Kwiatkowska, Marta Z.
1 Lime, Didier
1 Liò, Pietro
1 Mariegaard, Anders
1 Mathur, Umang
1 Merelli, Emanuela
1 Milios, Dimitrios
1 Mohammadi, Kiarash
1 Monfroy, Eric
1 Paoletti, Nicola
1 Papusha, Ivan
1 Pavlogiannis, Andreas
1 Poonawala, Hasan A.
1 Prasad Sistla, A.
1 Quatmann, Tim
1 Ramakrishnan, C. R.
1 Sanguinetti, Guido
1 Schewe, Sven
1 Siegle, Markus
1 Smolka, Scott A.
1 Spaan, Matthijs T. J.
1 Tati, Bharath Siva Kumar
1 Topcu, Ufuk
1 Truchet, Charlotte
1 Viswanathan, Mahesh
1 Volk, Matthias
1 Wachter, Björn
1 Wijesuriya, Viraj Brian

Cited in 4 Serials

2 Information and Computation
2 Formal Methods in System Design
1 Theoretical Computer Science
1 Acta Universitatis Sapientiae. Informatica
all top 5

Cited in 8 Fields

19 Computer science (68-XX)
9 Probability theory and stochastic processes (60-XX)
6 Operations research, mathematical programming (90-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)
1 Statistics (62-XX)
1 Mechanics of deformable solids (74-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year