CEGAR swMATH ID: 4605 Software Authors: Hermanns, Holger; Wachter, Björn; Zhang, Lijun Description: Counterexample-guided abstraction refinement (CEGAR) has been en vogue for the automatic verification of very large systems in the past years. When trying to apply CEGAR to the verification of probabilistic systems, various foundational questions arise. This paper explores them in the context of predicate abstraction Homepage: http://rw4.cs.uni-sb.de/~bwachter/cav08.html Keywords: automatic verification; large systems Related Software: PRISM; PASS; MRMC; z3; Storm; COMICS; SatAbs; AMUSE; SIGREF; Gurobi; BLAST; DiPro; SCIP; CADP; MiniSat; MUP; StocHy; FAUST2; AMYTISS; SCOTS Cited in: 38 Documents all top 5 Cited by 91 Authors 6 Katoen, Joost-Pieter 4 Hermanns, Holger 4 Kwiatkowska, Marta Z. 3 Dehnert, Christian 3 Hahn, Ernst Moritz 3 Liffiton, Mark H. 3 Norman, Gethin 3 Sakallah, Karem A. 3 Wachter, Björn 3 Zhang, Lijun 2 Ábrahám, Erika 2 Andraus, Zaher S. 2 Becker, Bernd 2 Delahaye, Benoît 2 Jansen, Nils 2 Kattenbelt, Mark 2 Klink, Daniel 2 Larsen, Kim Guldstrand 2 Legay, Axel 2 Marques-Silva, João P. 2 Wimmer, Ralf D. 1 Abate, Alessandro 1 Abdulla, Parosh Aziz 1 Aissat, Romain 1 Baier, Christel 1 Barbuti, Roberto 1 Bartocci, Ezio 1 Bendík, Jaroslav 1 Beyer, Dirk 1 Caillaud, Benoît 1 Chatterjee, Krishnendu 1 Chatzieleftheriou, George 1 Chechik, Marsha 1 Chen, Yu-Fang 1 Chmelík, Martin 1 Clarke, Edmund Melson jun. 1 Daca, Przemysław 1 Delzanno, Giorgio 1 Dräger, Klaus 1 Fahrenberg, Uli 1 Farzan, Azadeh 1 Ferrer Fioriti, Luis María 1 Funke, Florian 1 Gautham Shenoy, R. 1 Gebler, Daniel E. 1 Gulwani, Sumit 1 Gurfinkel, Arie 1 Haziza, Frédéric 1 Hong, Chih-Duo 1 Huth, Michael R. A. 1 Janota, Mikoláš 1 Jansen, David N. 1 Jantsch, Simon 1 Junges, Sebastian 1 Katsaros, Panagiotis 1 Kincaid, Zachary 1 Klieber, William 1 Kovács, Laura Ildikó 1 Lavaei, Abolfazl 1 Leucker, Martin 1 Levi, Francesca 1 Lynce, Inês 1 Meel, Kuldeep S. 1 Milazzo, Paolo 1 Mneimneh, Maher 1 Mukund, Madhavan 1 Neuhäußer, Martin R. 1 Pedersen, Mikkel Lykke 1 Podelski, Andreas 1 Qu, Hongyang 1 Ratschan, Stefan 1 Rezine, Ahmed 1 Rosa-Velardo, Fernando 1 Scatena, Guido 1 Schmidt, David A. 1 She, Zhikun 1 Soudjani, Sadegh 1 Spaan, Matthijs T. J. 1 Stankovič, Miroslav 1 Stoelinga, Mariëlle 1 Suresh, S. P. 1 Timmer, Mark 1 van de Pol, Jan Cornelis 1 Voisin, Frédéric 1 Volpato, Michele 1 Wąsowski, Andrzej 1 Wimmel, Harro 1 Wolf, Karsten 1 Wolf, Verena 1 Wolff, Burkhart 1 Zamani, Majid all top 5 Cited in 11 Serials 5 Theoretical Computer Science 2 Formal Methods in System Design 1 Acta Informatica 1 Automatica 1 Information and Computation 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Constraints 1 European Journal of Control 1 Fundamenta Informaticae 1 Logical Methods in Computer Science all top 5 Cited in 7 Fields 34 Computer science (68-XX) 8 Operations research, mathematical programming (90-XX) 6 Probability theory and stochastic processes (60-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Mathematical logic and foundations (03-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) Citations by Year