- A Barrier-Based Scenario Approach to Verify Safety-Critical Systems
2022/02/22 by Prithvi Akella, Aaron D. Ames, Akella, Prithvi +1 · 1 citation
Computer Science · Engineering · Mathematics · #Algorithm #Artificial intelligence #Computer science #Counterexample #Discrete mathematics #Engineering #FOS: Electrical engineering #Formal Methods in Verification #Formal verification #Function (biology) #Functional verification #Mathematics #Probabilistic logic #Problem statement #Safety Systems Engineering in Autonomy #Scheme (mathematics) #Software Reliability and Analysis Research #State (computer science) #Statement (logic) #Systems and Control (eess.SY) #Trajectory #cs.SY #eess.SY #electronic engineering #information engineering
- Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles
2021/05/06 by John Törnblom, Törnblom, John, Simin Nadjm-Tehrani +2 · 1 citation
Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Computer engineering #Computer science #Correctness #Database #Distributed computing #Domain (mathematical analysis) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Formal verification #Functional verification #High-level verification #Machine Learning (cs.LG) #Model checking #Programming language #Robustness (evolution) #Runtime verification #Scalability #Set (abstract data type) #Software #Software system #Theoretical computer science #cs.LG
- A methodology for hardware verification based on logic simulation
1991/04/01 by Randal E. Bryant · 2 citations
Computer Science · #Algorithm #Computer engineering #Computer science #Correctness #Digital electronics #Electrical engineering #Electronic circuit #Embedded Systems Design Techniques #Formal Methods in Verification #Formal verification #Functional verification #High-level verification #Logic gate #Logic simulation #Logic synthesis #Logic, programming, and type systems #Programming language #Register-transfer level #Sequential logic #Software #Theoretical computer science