专题：Formal Methods in Verification

This cluster of papers revolves around formal methods in software verification and control, focusing on topics such as model checking, symbolic model checking, satisfiability modulo theories, temporal logic, hybrid systems, automata, safety verification, control barrier functions, runtime verification, and probabilistic systems.
最新文献
Computation of Immediate Neighbours of Monotone Boolean Functions

book-chapter Full Text OpenAlex

Solving two-sided system of equations in max-plus algebra

article Full Text OpenAlex

Comparative Study of Ladder Logic and Structured Text Programming for PLC

article Full Text OpenAlex

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

article Full Text OpenAlex

Compiling with Generating Functions

article Full Text OpenAlex

Efficient processor verification by tautologies-derived universal properties model checking

article Full Text OpenAlex

Multi-stage Programming with Splice Variables

article Full Text OpenAlex

Normalization by Evaluation for Non-cumulativity

article Full Text OpenAlex

Teaching Software Specification (Experience Report)

article Full Text OpenAlex

Bialgebraic Reasoning on Stateful Languages

article Full Text OpenAlex

近5年高被引文献
Handbook of Satisfiability

book Full Text OpenAlex 511 FWCI1.693

cvc5: A Versatile and Industrial-Strength SMT Solver

book-chapter Full Text OpenAlex 288 FWCI208.373

acados—a modular open-source framework for fast embedded optimal control

article Full Text OpenAlex 256 FWCI26.494

GitHub Copilot AI pair programmer: Asset or Liability?

article Full Text OpenAlex 229 FWCI59.856

MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library

article Full Text OpenAlex 164 FWCI18.893

Communication-protocol-based analysis and synthesis of networked systems: progress, prospects and challenges

article Full Text OpenAlex 162 FWCI20.21

The probabilistic model checker Storm

article Full Text OpenAlex 161 FWCI16.863

Toward verified artificial intelligence

article Full Text OpenAlex 144 FWCI16.651

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning

article Full Text OpenAlex 125 FWCI15.011

Logic Tensor Networks

article Full Text OpenAlex 121 FWCI12.358