×

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; MRMC; PASS; z3; SIGREF; AMUSE; Storm; SatAbs; DiPro; COMICS; CADP; MUP; MiniSat; BLAST; Gurobi; SCIP; PARAM; Pinapa; SCOOT; SystemC
Cited in: 39 Documents
all top 5

Cited by 98 Authors

6 Katoen, Joost-Pieter
5 Parker, David F.
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 Abdulla, Parosh Aziz
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 Aissat, Romain
1 Atig, Mohamad Faouzi
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 Furbach, Florian
1 Gautham Shenoy, R.
1 Gebler, Daniel E.
1 Godbole, Adwait Amit
1 Gulwani, Sumit
1 Gurfinkel, Arie
1 Haziza, Frédéric
1 Hendi, Yacoub G.
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 Krishna, Shankara Narayanan
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 Spengler, Stephan
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

35 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