CEGAR

AcronymDefinition
CEGARCounter-Example Guided Abstraction Refinement
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
En otro pasaje de Thal 49 (34), Maximo pone en boca de Ezequias la explicacion del sentido espiritual de su orden de cegar las fuentes, muy semejante a la que ofrece el pasaje que acabamos de citar, pero que anade algunos matices dignos de mencion.
Counterexample generation for probabilistic LTL model checking has been addressed in [116] and probabilistic CEGAR has been also addressed [80].
Quando ocorre a decapitacao de Jokanaan, a luz solar e efetivamente mirada: tao brilhante que pode cegar. Nao por acaso, no final da peca, reina, vitoriosa, a escuridao, vinculada ao temor.
O machismo tambem e percebido nas atitudes do primeiro homem a cegar, quatro anos antes do episodio do voto em branco.
La anecdota relata la decision del emperador bizantino Basilio II, que, tras derrotar a los bulgaros de Samuil, ordeno cegar a los prisioneros, dejando a uno de cada veinte tuerto, para que pudiera conducirlos de regreso a Bulgaria.