Search Results - "Verification of computer systems"

PETRI NET STRUCTURAL REDUCTION FOR TEMPORAL EPISTEMIC LOGIC VERIFICATION IN MULTI-AGENT SYSTEMS.

Authors: GUO, Tong PAN, Meiqin DING, Zhijun

Source: Computing & Informatics; 2025, Vol. 44 Issue 6, p1336-1367, 32p

Automatic Model Transformation and Formal Verification for Function Block of IEC 61499.

Authors: Chen, Yean-Ru Hsu, Chia-Hao Li, Tien-Fu et al.

Source: Software & Systems Modeling. Apr2026, Vol. 25 Issue 2, p615-633. 19p.

Subjects: Finite state machines, Verification of computer systems, Flow charts, Mathematical models

STPD – Operational Design as a Model‐Based Extension of STPA.

Authors: Harel, Avi

Source: Insight (2156-485X); Jun2026, Vol. 29 Issue 3, p48-57, 10p

Modelling of ARM's PrimeCell DMA Controller (PL080) using SystemC.

Authors: Deshpande, Uttam U. Koti, Ramesh Shanbhag, Supriya et al.

Source: Journal of the Institution of Engineers (India): Series B; Jun2026, Vol. 107 Issue 3, p1093-1110, 18p

A Survey on Assertion-Based Hardware Monitor Synthesis.

Authors: Alatoun, Khitam Saxena, Nikhil Alenazi, Mounifah et al.

Source: Chips; Jun2026, Vol. 5 Issue 2, p12, 18p

A novel framework for automated configuration-driven verilog memory model generation and standardized UVM based verification with integrated testing.

Authors: Varghese, Anand Santhosh, Sachin Verghese, Sam

Source: AIP Conference Proceedings. 2026, Vol. 3341 Issue 1, p1-10. 10p.

An Innovative Heuristic to Detect Special States in Concurrent Software Systems.

Authors: Pira, Einollah Rouhi, Alireza

Source: Quality & Reliability Engineering International. Dec2025, Vol. 41 Issue 8, p3686-3697. 12p.

Subjects: Heuristic, Verification of computer systems, Software development tools, Computer performance, State-space methods, Software validation, Parallel programs (Computer programs)

System-level verification in the chiplet era.

Authors: Bartley, Mike¹

Source: Electronics World. Feb2026, Vol. 131 Issue 2053, p12-14. 3p.

Subjects: Verification of computer systems, Multichip modules (Microelectronics), Integrated circuits

Orchestrated intelligence: an adaptive multi-agent architecture for high-frequency options risk management.

Authors: Ayatollahi, Mohammadreza Jafari, Seyed Mohammadbagher

Source: Discover Artificial Intelligence; 4/29/2026, Vol. 6 Issue 1, p1-29, 29p

基于大模型的形式化验证系统架构设计. (Chinese)

Authors: 陈红学 马卫红 杨雅涵 et al.

Source: Railway Signalling & Communication Engineering; 2026, Vol. 23 Issue 3, p9-14, 6p

AUTONOMOUS SECURITY LAYERS FOR GLOBAL DISTRIBUTED SYSTEMS: A CROSS-PROOF ARCHITECTURAL FRAMEWORK.

Authors: Albertovich, Oiun Dazhyma¹, dazoiun@yandex.ru

Source: Austrian Journal of Technical & Natural Sciences; 2026, Issue 3/4, p106-111, 6p

Co-Simulation of ADS and CST for RFIC Performance Verification in Aerospace Communication Systems.

Authors: J., Muralidharan Abdullah, Dahlan

Source: National Journal of RF Circuits & Wireless Systems; 2026, Vol. 3 Issue 2, p25-32, 8p

自主重型燃气轮机控制系统正向设计. (Chinese)

Authors: 张晓毅 章旋 白涛 et al.

Source: Journal of Chinese Society of Power Engineering / Dongli Gongcheng Xuebao; Mar2026, Vol. 46 Issue 3, p201-211, 11p

Consistency Checking of Functional and Non‐Functional Requirements in Self‐Adapting Systems.

Authors: Saadi, Abdelfetah Hammal, Youcef

Source: Software: Practice & Experience; Mar2026, Vol. 56 Issue 3, p317-334, 18p

An Efficient Design-to-Verification Framework for CubeSat ADCS: Application to INHA RoSAT.

Authors: Yoo, Hye-Eun Kim, Chang-Oh Mok, Sung-Hoon et al.

Source: Aerospace (MDPI Publishing); Feb2026, Vol. 13 Issue 2, p189, 18p

冷水集中空调系统的虚拟调试研究及验证分. (Chinese)

Authors: 孙井纬¹, jjtylw@163.com

Source: Chinese Journal of Refrigeration Technology; Feb2026, Vol. 46 Issue 1, p58-64, 7p

Automatic WSTS-based repair and deadlock detection of parameterized systems.

Authors: Baumeister, Tom Jacobs, Swen Sakr, Mouhammad et al.

Source: Formal Methods in System Design. Sep2025, Vol. 66 Issue 3, p335-375. 41p.

Subjects: Synchronization, Verification of computer systems, Constraint programming, Safety standards

PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+).

Authors: Timakov, A. A. Ryzhov, I. G.

Source: Programming & Computer Software. Aug2025, Vol. 51 Issue 4, p283-296. 14p.

Subjects: Verification of computer systems, Mathematics software, Computer software, Confirmation (Logic), Information resources management

Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes.

Authors: Tillet, Joris Besset, Antoine Sandretto, Julien Alexandre dit

Source: Acta Cybernetica; 2026, Vol. 27 Issue 3, p383-403, 21p

Validating Secure Cloud Communication Mechanisms of Graphene with CSP-Based Modeling.

Authors: Liu, Jianhao Hou, Zhiru Zhu, Huibiao

Source: International Journal of Software Engineering & Knowledge Engineering; Nov2025, Vol. 35 Issue 11, p1573-1599, 27p