Search Results - "Formal methods (Computer science)"

Trace-Bisimulation Equivalence for Regression Detection in Non-Deterministic Code-Generating Analytics Agents.

Authors: Chodisetti, Ravi Chandra

Source: Journal of Computational Analysis & Applications; 2026, Vol. 35 Issue 5, p171-182, 12p

ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC.

Authors: ITO, SOHEI TATSUTA, MAKOTO

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

OPTIMALLY REWRITING FORMULAS AND DATABASE QUERIES: A CONFLUENCE OF TERM REWRITING, STRUCTURAL DECOMPOSITION, AND COMPLEXITY.

Authors: CHEN, HUBIE MENGEL, STEFAN

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

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

Formalising privacy regulations with bigraphs.

Authors: Althubiti, Ebtihal Archibald, Blair Sevegnani, Michele

Source: Software & Systems Modeling. Apr2026, Vol. 25 Issue 2, p487-513. 27p.

Radiomics in Advancing and Explainable Liposarcoma Classification with MR Imaging.

Authors: Natella, Raffaele Varriano, Giulia Brunese, Maria Chiara et al.

Source: Applied Sciences (2076-3417); Mar2026, Vol. 16 Issue 6, p2719, 16p

基于秩函数合成的程序终止性验证综述.

Alternate Title: Survey on program termination based on ranking function synthesis.

Authors: 蔡裕星 陈长波 李轶

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Mar2026, Vol. 43 Issue 3, p641-650. 10p.

Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z.

Authors: Aparna, K. S. Kulkarni, R. N.

Source: Engineering, Technology & Applied Science Research; Feb2026, Vol. 16 Issue 1, p30843-30851, 9p

Models for formal methods and tools: the case of railway systems.

Authors: ter Beek, M. H.¹ (AUTHOR) maurice.terbeek@isti.cnr.it

Source: Software & Systems Modeling. Dec2025, Vol. 24 Issue 6, p1935-1954. 20p.

Subjects: Formal methods (Computer science), Railroads, Systems design, Computer simulation, System safety, Empirical research, User-centered system design

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

TERMINATION OF GRAPH TRANSFORMATION SYSTEMS VIA GENERALIZED WEIGHTED TYPE GRAPHS.

Authors: ENDRULLIS, JÖRG OVERBEEK, ROY

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p15:1-15:31, 31p

A Modular Approach to Metatheoretic Reasoning for Extensible Languages.

Authors: Michaelson, Dawn Nadathur, Gopalan Van Wyk, Eric

Source: ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-56. 56p.

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.

Authors: Basin, David Foster, Nate McMillan, Kenneth L. et al.

Source: Communications of the ACM. Aug2025, Vol. 68 Issue 8, p50-61. 12p.

Subjects: Formal methods (Computer science), Computer network protocols, Internet protocols, IEEE Standards Board, Internet Engineering Task Force (Organization), Technical specifications

A Logical Characterization for Approximate Matching of Pattern Graphs with Regular Expressions.

Authors: Liao, Xinfei Zhang, Zuoli Cui, Xinyu et al.

Source: Symmetry (20738994). Oct2025, Vol. 17 Issue 10, p1659. 16p.

Formal Analysis of EAP-TLS Protocol Based on Logic of Events.

Authors: Xiao, Meihua Cheng, Weili Fan, Hongming et al.

Source: Symmetry (20738994). Sep2025, Vol. 17 Issue 9, p1456. 32p.

Algorithmic formalization: Impacts on administrative processes.

Authors: Cordella, Antonio Gualdi, Francesco

Source: Public Administration. Jun2025, Vol. 103 Issue 2, p441-466. 26p.

Framework for Formal Verification of Machine Learning Based Complex System‐of‐Systems.

Authors: Raman, Ramakrishnan Gupta, Nikhil Jeppu, Yogananda

Source: Insight (2156-485X). Apr2026, Vol. 29 Issue 2, p18-29. 12p.

Subjects: System of systems, Formal methods (Computer science), Drone aircraft, Machine learning, Complexity (Philosophy), Emergence (Philosophy), Aggregation (Robotics), Artificial neural networks

Safe Coding.

Authors: Kern, Christoph¹, xtof@google.com

Source: ACM Queue; Sep/Oct2025, Vol. 23 Issue 5, p1-15, 15p

Formal Analysis of Ratchet Protocols Based on Logic of Events.

Authors: Xiao, Meihua Wan, Hongbin Fan, Hongming et al.

Source: Applied Sciences (2076-3417); Jul2025, Vol. 15 Issue 13, p6964, 25p

Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.

Authors: Xu, Xuezheng Yang, Deheng Wang, Lu et al.

Source: International Journal of Software & Informatics; 2025, Vol. 15 Issue 3, p283-305, 23p