Verification, Model Checking, and Abstract Interpretation

Abstract Interpretation.- Formal Runtime Error Detection During Development in the Automotive Industry.- Abstract Interpretation-Based Feature Importance for Support Vector Machines.- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.- Correctness Witness Validation by Abstract Interpretation.- Infinite-State Systems.- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.- Parameterized Verification of Disjunctive Timed Networks.- Resilience and Home-Space for WSTS.- Model Checking and Synthesis.- Generic Model Checking for Modal Fixpoint Logics in COOL-MC.- Model-Guided Synthesis for LTL over Finite Traces.- Solving Two-Player Games under Progress Assumptions.- AT, SMT, and Automated Reasoning Interpolation and Quantifiers in Ortholattices.- Function Synthesis for Maximizing Model Counting.- Boosting Constrained Horn Solving by Unsat Core Learning.- On the Verification of a Subgraph Construction Algorithm.- Efficient Local Search for Nonlinear Real Arithmetic.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Os sistemas especialistas / sistemas baseados em conhecimento
• Hardware do computador
• Teoria matemática da computação
• Matemática para cientistas da computação
• Inteligência artificial
• Engenharia do software

architecting;architecture verification and validation;artificial intelligence;computer programming;computer systems;distributed computer systems;embedded systems;formal logic;logic programming;mathematics;model checking;parallel processing systems;program compilers;programming languages;software architecture;software design;software engineering;software quality;verification and validation