Counterexamples in model checking - a survey - Debbi, Hichem (Informatica (Ljubljana), 2018)
Keywords: informatika; kvaliteta; preverjanje modelov; protiprimeri; računska moč; razhroščevanje; verifikacija sistemov