Search Results - "FORMAL methods (Computer science)"

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.

Subject Terms: *COMPUTER network protocols, *INTERNET protocols, *TECHNICAL specifications, FORMAL methods (Computer science)

Company/Entity: IEEE Standards Board , INTERNET Engineering Task Force (Organization)

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.

Subject Terms: *FORMAL methods (Computer science), *RAILROADS, *SYSTEMS design, *COMPUTER simulation, *SYSTEM safety, *EMPIRICAL research, *USER-centered system design

Formal service conflict detection through abstraction and refinement.

Authors: Toman, Sarah Hussein Toman, Zinah Hussein

Source: Cluster Computing. Oct2025, Vol. 28 Issue 7, p1-18. 18p.

Subject Terms: *INTERNET of things, *FORMAL methods (Computer science), *SMART homes, *CONFLICT management

Logika: the Sireum verification framework.

Authors: Robby Hatcliff, John Belt, Jason

Source: International Journal on Software Tools for Technology Transfer. Oct2025, Vol. 27 Issue 5, p487-510. 24p.

Subject Terms: *FORMAL methods (Computer science), *SOFTWARE development tools, *ABSTRACTION (Computer science), *CRITICAL thinking, *ADAPTIVE computing systems

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.

Subject Terms: *PATTERN matching, *FORMAL methods (Computer science), *MATCHING theory, *REPRESENTATIONS of graphs

Algorithmic formalization: Impacts on administrative processes.

Authors: Cordella, Antonio Gualdi, Francesco

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

Subject Terms: *RISK assessment, *GOVERNMENT agencies, *RATIONAL-legal authority, FORMAL methods (Computer science)

Geographic Terms: UNITED States

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.

Subject Terms: *ELECTRONIC authentication, *FORMAL methods (Computer science), *SCIENTIFIC method, *INTERNET security, *WIRELESS communications

Enhancing Software Requirements Verification and Validation Techniques.

Authors: Alrwais, Omer¹ oalrwais@ksu.edu.sa

Source: International Journal of Mathematics & Computer Science. 2025, Vol. 20 Issue 3, p901-911. 11p.

Subject Terms: *SOFTWARE verification, *FORMAL methods (Computer science), *RISK assessment, *SCIENTIFIC observation, *QUALITY assurance, *COMPUTER simulation

Formal methods for industrial critical systems.

Authors: Haxthausen, Anne E. Serwe, Wendelin

Source: International Journal on Software Tools for Technology Transfer. Oct2025, Vol. 27 Issue 5, p439-441. 3p.

Subject Terms: *FORMAL methods (Computer science), *SAFETY, *AEROSPACE engineering, *SYSTEM safety, *SOFTWARE development tools, *AUTOMOTIVE engineering

A control barrier function-based approach for safe autonomous landing.

Authors: Mesbah, Ali Roshanian, Jafar Ginchev, Dimitar

Source: AIP Conference Proceedings; 2025, Vol. 3339 Issue 1, p1-13, 13p

Subject Terms: LANDING (Aeronautics), FLIGHT control systems, MATHEMATICAL optimization, SYSTEM safety, NONLINEAR control theory, FORMAL methods (Computer science)

Harmonizing Parameterized Verification and Invariant Synthesis for Safety Envelopes in Black‐Box Autonomy.

Authors: Lu, Yu Xiong, Zhoubing Huang, Helin et al.

Source: Concurrency & Computation: Practice & Experience; 12/25/2025, Vol. 37 Issue 27/28, p1-21, 21p

Subject Terms: SAFETY, FORMAL methods (Computer science), LANGUAGE models, RISK assessment, INTELLIGENT agents, DYNAMICAL systems

Dynamic Timed Colored Petri Nets: A High-Level Formalism for the Modeling and Verification of Dynamic-Structure Systems.

Authors: Tigane, Samir Guerrouf, Fayçal Kahloul, Laid et al.

Source: Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ); Dec2025, Vol. 50 Issue 23, p19347-19366, 20p

Subject Terms: FLEXIBLE manufacturing systems, PETRI nets, ADAPTIVE computing systems, FORMAL methods (Computer science), COMPUTER simulation, RESEARCH evaluation, MODEL validation

Timetide: A Programming Model for Logically Synchronous Distributed Systems.

Authors: Kenwright, Logan Roop, Partha Allen, Nathan et al.

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-25, 25p

Subject Terms: DISTRIBUTED computing, SYNCHRONIZATION, SOFTWARE architecture, FORMAL methods (Computer science), DETERMINISTIC algorithms

Timed causal fanin analysis for symbolic simulation.

Authors: Kaivola, Roope Kama, Neta Bar

Source: Formal Methods in System Design; Oct2025, Vol. 67 Issue 1, p3-26, 24p

Subject Terms: INTEL microprocessors, FORMAL methods (Computer science), COMPUTER circuits

Company/Entity: INTEL Corp.

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.

Authors: Xiao, Lili Hou, Zhiru Zhu, Huibiao et al.

Source: Journal of Circuits, Systems & Computers; 1/15/2026, Vol. 35 Issue 1, p1-21, 21p

Subject Terms: SOFTWARE verification, COMPUTER architecture, SYNCHRONIZATION, FORMAL methods (Computer science), FORMAL languages, PARALLEL programs (Computer programs), PARALLEL processing

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

Subject Terms: DATA encryption, FORMAL methods (Computer science), CAUSALITY (Physics)

Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Authors: CICCALÈ, MARCO JURJO-RIVAS, DANIEL MORALES, JOSE F. et al.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p612-630, 19p

Subject Terms: LOGIC programming, SOFTWARE verification, PREDICATE calculus, ASSERTIONS (Logic), FORMAL methods (Computer science), FUNCTIONAL programming (Computer science)

Non-Termination of Logic Programs Using Patterns.

Authors: PAYET, ETIENNE

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p739-755, 17p

Subject Terms: LOGIC programming, PATTERN perception, DETECTION algorithms, FORMAL methods (Computer science), EMPIRICAL research

Creating Better System Models: A Method for Using Compositional Reasoning to Validate Architectures with Assumption/Guarantee Contracts.

Authors: Amundson, Isaac Kahn, Josh Srinivasan, Vidya et al.

Source: Incose International Symposium; Jul2025, Vol. 35 Issue 1, p68-88, 21p

Subject Terms: FORMAL methods (Computer science), MODEL validation, MODEL-driven software architecture, SYSTEM safety, ENGINEERING models, SOFTWARE validation

Ontological Definition of Seamless Digital Engineering Based on ISO/IEC 25000‐Series SQuaRE Product Quality Model.

Authors: Wheaton, James S. Herber, Daniel R.

Source: Incose International Symposium; Jul2025, Vol. 35 Issue 1, p457-474, 18p

Subject Terms: SYSTEM integration, ONTOLOGY, QUALITY assurance, USER interfaces, FORMAL methods (Computer science), COMPUTER software quality control, DIGITAL technology

Company/Entity: INTERNATIONAL Organization for Standardization