Counter-based Abstraction for Symbolic Execution

• Authors: TRTÍK Marek
• Year of publication: 2010
• Type: Conference abstract
• MU Faculty or unit: Faculty of Informatics

Related projects

• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace