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

USABILITY REQUIREMENT OF FORMAL VERIFICATION TOOLS by Rozilawati Razali, Paul Garratt

Subjects: Get full text

Formal Verification, Engineering and Business Value by Ralf Huuck

“…How to package this technology in a way that it can be used by software developers and engineers, who might have no background in formal verification? And how to convince business managers to actually pay for such a software? …”
Get full text

Formal verification for a PMQTT protocol by Eman Elemam, Ayman M. Bahaa-Eldin, Nabil H. Shaker, Mohamed Sobh

Subjects: Get full text

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

Context-aware approach for formal verification by Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe

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