Search Results - "Formal verification"

Concolic Testing on Individual Fairness of Neural Network Models.

Authors: HUANG, MING-I. HONG, CHIH-DUO YU, FANG

Source: Journal of Information Science & Engineering. May2026, Vol. 42 Issue 3, p665-680. 16p.

Subjects: Fairness, Formal verification, Deep learning, Discrimination (Sociology), Computer software testing, Algorithmic bias, Artificial neural networks

Exclusive: Economists have been teaching an unproven proof for 50 years. AI just solved it.

Authors: Lichtenberg, Nick (AUTHOR)

Source: Fortune.com. 6/2/2026, pN.PAG-N.PAG. 1p.

Scaling model checking of railway interlocking systems by safe automated decomposition.

Authors: Haxthausen, Anne E. Fantechi, Alessandro Gori, Gloria et al.

Source: EUROPEAN Transport Research Review. 6/11/2026, Vol. 18 Issue 1, p1-17. 17p.

SMDEVC: Specification-Based Misbehavior Detection for Electric Vehicle Charging Stations.

Authors: Park, Hoonyong Abella, Vincent Kim, Jiyoon et al.

Source: Applied Sciences (2076-3417); Jun2026, Vol. 16 Issue 11, p5605, 28p

Anomalies in AI Outputs Beyond Input Data Quality: The Significance of Reasoning.

Authors: Arévalo-Royo, Javier Martín, Óscar Martínez-Cámara, Eduardo et al.

Source: Applied Sciences (2076-3417); Jun2026, Vol. 16 Issue 11, p5491, 20p

Clock Domain Crossing Effects and Verification Challenges in Modern VLSI Systems.

Authors: Talla, Suri Babu

Source: Journal of Computational Analysis & Applications; 2026, Vol. 35 Issue 5, p163-170, 8p

OWL Consistency Models in Smart Contracts Design.

Authors: Davila, Rene Aldeco-Perez, Rocio Barcenas, Everardo

Source: International Journal of Combinatorial Optimization Problems & Informatics. 2026, Vol. 17 Issue 2, p76-88. 13p.

VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection.

Authors: Ramesh, Vankudoth Reddy, K. Govardhan

Source: Informatica (03505596). Mar2026, Vol. 50 Issue 1, p25-43. 19p.

Subjects: Formal verification, Flowgraphs, Computer software testing, Blockchains, Penetration testing (Computer security)

Ten years after Ethereum's DAO disaster, it's time to try again.

Authors: Sirer, Emin Gün (AUTHOR)

Source: Fortune.com. 4/29/2026, pN.PAG-N.PAG. 1p.

Optimized Test Scenario Identification Method based on Refined Warshall's Dynamic Programming for Validating Reinforcement Learning Model.

Authors: Kim, Janghwan Chul Kim, R. Young

Source: KSII Transactions on Internet & Information Systems; Apr2026, Vol. 20 Issue 4, p2224-2241, 18p

Model Checking in Federated Learning-Based Smart Advertising.

Authors: Seyghaly, Rasool Garcia, Jordi Masip-Bruin, Xavi

Source: Journal of Sensor & Actuator Networks; Apr2026, Vol. 15 Issue 2, p29, 15p

DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA.

Authors: ANDRÉ, ÉTIENNE LIME, DIDIER ROUX, OLIVIER H.

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-32, 32p

QUANTITATIVE VERIFICATION WITH NEURAL NETWORKS.

Authors: ABATE, ALESSANDRO EDWARDS, ALEC GIACOBBE, MIRCO et al.

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-26, 26p

Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures.

Authors: NADEEM, MOHAMED DRECHSLER, ROLF

Source: Journal of Multiple-Valued Logic & Soft Computing. 2026, Vol. 47 Issue 1, p103-130. 28p.

Subjects: Formal verification, Many-valued logic, Circuit complexity, Logic design, Logic circuits

Formal Verification Approach for IoT Conflict Resolution by Priority.

Authors: Toman, Zinah Hussein¹, zinah.hussein@qu.edu.iq

Source: Journal of Qadisiyah Computer Science & Mathematics; 2026, Vol. 18 Issue 1, p1-14, 14p

FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING.

Authors: BASILE, DAVIDE¹, davide.basile@isti.cnr.it

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p8:1-8:40, 40p

ASYNCHRONOUS COMPOSITION OF LTL PROPERTIES OVER INFINITE AND FINITE TRACES.

Authors: BOMBARDELLI, ALBERTO ΤΟΝΕΤΤΑ, STEFANΟ

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p11:1-11:32, 32p

THE COMPLEXITY OF SECOND-ORDER HYPERLTL.

Authors: FRENKEL, HADAR REGAUD, GAËTAN ZIMMERMANN, MARTIN

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p26:1-26:54, 54p

MODULE CHECKING OF PUSHDOWN MULTI-AGENT SYSTEMS.

Authors: BOZZELLI, LAURA MURANO, ANIELLO PERON, ADRIANO

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p13:1-13:40, 40p

MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+.

Authors: GRZYBOWSKI, Michał MŁYŃCZAK, Jakub SOKOŁOWSKA, Lucyna et al.

Source: Transport Problems: an International Scientific Journal. 2026, Vol. 21 Issue 1, p203-216. 14p.