Learn More
Bounded model checking of C++ programs presents greater challenges than that of C programs due to the more complex features that the language offers, such as templates, containers, and exception handling. We present ESBMC++, a bounded model checker for C++ programs. It is based on an operational model, an abstract representation of the standard C++(More)
INTRODUCTION Cerebellar high-grade astrocytoma is uncommon. Although more prone to present cerebrospinal fluid dissemination, the cerebellar location is not particularly related to the occurrence of extra-cranial metastases, which are also unusual in supratentorial malignant gliomas. CASE REPORT A 46 year-old man with cerebellar anaplastic astrocytoma who(More)
  • 1