Formal Verification of Programs in Functional Dataflow Parallel Language by M. S. Kropacheva, A. I. Legalov

Get full text

Performal: Formal Verification of Latency Properties for Distributed Systems by Zhang, Tony Nuda, Sharma, Upamanyu, Kapritsos, Manos

“…In this paper, we present Performal, a novel methodology that leverages the recent advances in formal verification to provide rigorous latency guarantees for real, complex distributed systems. …”
Get full text

Formal verification of simulations between I/O automata by Bogdanov, Andrej, 1978-

Get full text

Abstractions and formal verification of max-plus linear systems by Syifaul Mufid, M

“…The fundamental problems for the systems mentioned above are reachability analysis and formal verification, respectively assessing whether the dynamics of the underlying system eventually reaches a particular set and satisfies the intended specifications or requirements. …”

Abstract: Experience with Practical Formal Verification at an Industrial Scale by Melham, T

Formal verification of dynamical models via neural synthesis by Edwards, A

“…The strength of neural networks as universal approximators has seen widespread interest from the formal verification community. Commonly, this is in the context of verifying machine learning models themselves. …”

Formal verification of bit-vector invertibility conditions in Coq by Ekici, B, Viswanathan, A, Zohar, Y, Tinelli, C, Barrett, C

Formal verification of RFID system using model verification agent / by Muhammad Tarmizi Lockman, 1981-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat

Formal Verification of Behavioral AADL Models by Stateful Timed CSP by Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu

“…We specify a set of critical properties of the model and perform formal verification in PAT.…”
Get full text

Firmware vulnerability analysis based on formal verification of software and hardware by Peng-hui ZHANG,Xi TIAN,Kang-wei LOU

Subjects: Get full text

A Research Landscape on Formal Verification of Software Architecture Descriptions by Camila Araujo, Everton Cavalcante, Thais Batista, Marcel Oliveira, Flavio Oquendo

Subjects: Get full text

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach by Mohammed Foughali, Alexander Zuepke

“…For instance, the use of formal verification (formal methods community) is hindered by the state-space explosion problem, whereas schedulability analysis (real-time systems) is not suitable for behavioral properties. …”
Get full text

Formal verification of a proof procedure for the description logic ALC by Martin Strecker, Mohamed Mezghiche, Mohamed Chaabani

Get full text

A Survey on Formal Verification and Validation Techniques for Internet of Things by Moez Krichen

Subjects: Get full text

Formal Verification of a MAC Protocol for Underwater Sensor Networks by N. Suresh Kumar, G. Santhosh Kumar, Shailesh Sivan, A. Sreekumar

Subjects: “…Formal verification…”
Get full text

Formal Verification of Real-Time Function Blocks Using PVS by Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine

Get full text

SMACS: A framework for formal verification of complex adaptive systems by Fakhir Ilyas, Kazmi Asad Raza, Qasim Awais, Ishaq Atif

Subjects: Get full text

Formal verification and dynamic validation of logic-based control systems by Park, Taeshin, 1966-

Get full text

Securing smart contracts with formal verification and automated program repair by Tolmach, Palina

“…A common approach to ensuring security and correctness of safety-critical software, including smart contracts, is through formal verification. However, despite the extensive research done on smart contract verification, there is still no obvious solution for safe smart contract development. …”
Get full text

Design and implementation of formal verification methodology using Boolean satisfiability by Phone, Thet Khaing.

“…In this report, a design methodology for formal verification of digital combinational circuit using Boolean satisfiability had been proposed and a new formal verification tool Verification-Satisfiability (VeriSat) had been implemented.…”
Get full text