专题：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.
最新文献
C++17 Staged Toy Simulation for STA Pre-Commitment Controllability

article Full Text OpenAlex

Ambiguity, Drift, and Autonomous Operation in Finite Systems

preprint Full Text OpenAlex

Addendum 2: Poisson Cloning Model for Random 3‑SAT

preprint Full Text OpenAlex

ICMM-FW-11 : Conditional Realizability Operator and Selection of Concurrent Configurations

preprint Full Text OpenAlex

A Rigorous Conditional Proof that P ≠ NP via 1‑RSB Condensation for Canonical 3‑SAT

preprint Full Text OpenAlex

Relational Refinement Algebras from Finite Measurement Constraints

preprint Full Text OpenAlex

Axiomatic Design for Discrete Process Automation

article Full Text OpenAlex

C++17 Staged Toy Simulation for STA Pre-Commitment Controllability

article Full Text OpenAlex

Ambiguity, Drift, and Autonomous Operation in Finite Systems

preprint Full Text OpenAlex

Cross-Domain Stress Testing of Unified Signal-Time-Authority Oversight: Independent C++ Toy Benchmarks for Tool-Use, Transactional, and Medical-Industrial Commitment

article Full Text OpenAlex

近5年高被引文献
cvc5: A Versatile and Industrial-Strength SMT Solver

book-chapter Full Text OpenAlex 399 FWCI244.0529

GitHub Copilot AI pair programmer: Asset or Liability?

article Full Text OpenAlex 329 FWCI68.9805

Toward verified artificial intelligence

article Full Text OpenAlex 183 FWCI21.9359

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning

article Full Text OpenAlex 171 FWCI22.1825

Comparative Study of Ladder Logic and Structured Text Programming for PLC

preprint Full Text OpenAlex 134 FWCI0

Survey on applications of algebraic state space theory of logical systems to finite state machines

article Full Text OpenAlex 123 FWCI16.2666

Strong Structural Controllability of Boolean Networks: Polynomial-Time Criteria, Minimal Node Control, and Distributed Pinning Strategies

article Full Text OpenAlex 112 FWCI8.7664

HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates

book-chapter Full Text OpenAlex 108 FWCI55.2798

Automated verification and synthesis of stochastic hybrid systems: A survey

article Full Text OpenAlex 102 FWCI13.8595

Formal Aspects of Computing

paratext Full Text OpenAlex 97 FWCI0