Advanced formal verification / by Drechsler, Rolf

Applied formal verification / by 225698 Perry, Douglas L., Foster, Harry, 1956-

The MODUS Approach to Formal Verification by Brewka Lukasz, Soler José, Berger Michael

Subjects: Get full text

Formal verification of TCP and T/TCP by Smith, Mark Anthony Shawn, 1968-

Get full text

Formal Verification of Hardware Synthesis by Braibant, Thomas, Chlipala, Adam

Get full text
Get full text

Formal verification of security protocols by Mok, Xin Mun

“…Formal verification is the use of mathematical rules and logic to ensure the correctness of a system, whereby the system does not reach an undesirable state given a set of actions. …”
Get full text

Formal verification of neural networks by Bunel, R

Formal Verification of STPA with Model Checking by Ryeonggu Kwon, Gihwon Kwon

Subjects: “…formal verification, model checking, STPA…”
Get full text

Formal Verification of Robot Rotary Kinematics by Guojun Xie, Huanhuan Yang, Hao Deng, Zhengpu Shi, Gang Chen

Subjects: “…formal verification…”
Get full text

Formal Verification of an Implementation of the Roughtime Server by Altamirano, Christian

“…Formal verification has been used in the past few decades to prove correctness of programs. …”
Get full text

Formal verification meets stochastic analysis by Cosentino, F

“…<p>The thesis goal is to explore the relations between Formal Verification techniques in Computer Science and Stochastic Analysis in Mathematics. …”

Practical Formal Verification in Microprocessor Design by Jones, R, O'Leary, J, Seger, C, Aagaard, M, Melham, T

Formal Verification at Higher Levels of Abstraction by Kroening, D, Seshia, S

Formal Verification of Arbitrary Network Topologies by Roscoe, A, Creese, S

Formal Verification of the xDAuth Protocol by Alam, Q., Tabbasum, S., Malik, S.U.R., Alam, M., Ali, T., Akhunzada, A., Khan, S.U., Vasilakos, A.V., Buyya, R.

“…This paper focuses on the formal verification of the xDAuth protocol, which is one of the prominent protocols for identity management in cross domain scenarios. …”

SAT-based scalable formal verification solutions / by 262924 Ganai, Malay, Gupta, Aarti

Get full text

Formal Verification of Three-Valued Digital Waveforms by Nina Yu. Kutsak, Vladislav V. Podymov

“…We investigate a formal verification problem (mathematically rigorous correctness checking) for digital waveforms used in practical development of digital microelectronic devices (digital circuits) at early design stages. …”
Get full text

Automation of Formal Verification of Programs in the Pifagor Language by M. S. Ushakova, A. I. Legalov

“…Nowadays, due to software sophistication, programs correctness is more often proved by means of formal verification. The method of deduction based on Hoare logic could be used for any programminglanguage and it has the capability of partial automation of the proof process. …”
Get full text

Formal Verification of Fault-Tolerant Hardware Designs by Luis Entrena, Antonio J. Sanchez-Clemente, Luis A. Garcia-Astudillo, Marta Portela-Garcia, Mario Garcia-Valderas, Almudena Lindoso, Roberto Sarmiento

Subjects: Get full text

Formal Verification of Safety-Critical Hybrid Systems by Livadas, Carolos

Get full text