Skip to main content
PPGEE/UFAM

Trabalho em anais de evento

Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution)

MORSE, J.; CORDEIRO, L. C.; NICOLE, D.; FISCHER, BERND

2013 • 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems • 30 citações

Resumo

Resumo

We extended ESBMC to exploit the combination of context-bounded symbolic model checking and k-induction to prove safety properties in single- and multi-threaded ANSI-C programs with unbounded loops. We now first try to verify by induction that the safety property holds in the system. If that fails, we search for a bounded reachable state that constitutes a counterexample

palavras-chave

Palavras-chave

ESBMCk-inductionsafety verificationmultithreaded programscounterexample searchprogram verification

Status

Published

links

DOI

10.1007/978-3-642-36742-7_47

Link Externo

https://doi.org/10.1007/978-3-642-36742-7_47

Trabalho em anais de evento

Leveraging Template Matching for Efficient Android Screenshot Visual InspectionMYRRIA, ABDA; CASTRO, ALICE; MUNIZ, CAIQUE; BARBOSA, HERYCK; SILVA, ANDRÉ; CORDOVIL, LUIZ; PORTY, ROGER; SOUTO, THIAGO2026 • 2026 IEEE International Conference on Consumer Electronics (ICCE)1citações
Comparative Evaluation of DNNs and Template Matching for GUI Validation on Android DevicesMYRRIA, ABDA; CASTRO, ALICE; MUNIZ, CAIQUE; BARBOSA, HERYCK; SILVA, ANDRÉ; CORDOVIL-JR, LUIZ; PORTY, ROGER; SOUTO, THIAGO2026 • 2026 IEEE International Conference on Consumer Electronics (ICCE)
LLM-based text-to-JQL Generation: an automated test using execution and structural indicatorsLIMA, RAYFRAN ROCHA; DE BRITO, IRINEU EVANGELISTA CRUZ; NASCIMENTO, JARDEL DA CUNHA; CORDOVIL-JR, LUIZ2026 • 2026 IEEE International Conference on Consumer Electronics (ICCE)
Bearing fault prognosis based on evolving granular modelsMARTINIANO, ALEXANDRE; VITÓRIO, ANDEVALDO; AYRES, FLORINDO; OTANI, MARIO; MEDEIROS, JOSÉ; NUNES, RIVELINO; SILVA, RENAN; VARELA, JERRY; MOURA, DAVIDSON; SANTOS, KENNY; COSTA, JEFERSON; MENDONÇA, RAFAEL; BESSA, IURY2026 • XX Simpósio Brasileiro de Automação Inteligente (SBAI 2025) e XII Simpósio Brasileiro de Sistemas Elétricos (SBSE 2025)

Ver todas as publicações