PaperMetrixEvidence-aware discovery
TR
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Lucas C. Cordeiro

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

    2019

    Artificial Neural networks (ANNs) are powerful computing systems employed for various applications due to their versatility to generalize and to respond to unexpected inputs/patterns. However, implementations of ANNs for safety-critical systems might lead to failures, …

  2. A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

    2023 · arXiv (Cornell University)

    This paper introduces an innovative approach that combines Large Language Models (LLMs) with Formal Verification strategies for automatic software vulnerability repair. Initially, we employ Bounded Model Checking (BMC) to identify vulnerabilities and extract counterexamples. These …