Results 261 to 270 of about 117,504 (308)

Formal Verification for KMB09 Protocol

International Journal of Theoretical Physics, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Formal Verification Methods

2015
This chapter provides a brief introduction to the domain of formal methods (Boca, Bowen, & Siddiqi, 2009) and the most commonly used verification methods (i.e., theorem proving [Harrison, 2009] and model checking [Baier & Katoen, 2008]). Due to their inherent precision, formal verification methods are increasingly being used in modeling and ...
openaire   +1 more source

Formal Verification

2015
Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar   +2 more
openaire   +2 more sources

Polynomial Formal Verification

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022
Rolf Drechsler, Alireza Mahzoon
openaire   +1 more source

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
, Yang Liu
exaly  

Formal Verification

2023
openaire   +1 more source

Formale Verifikationsverfahren (Formal Verification)

it - Information Technology, 2001
openaire   +1 more source

Verification Games: Crowd-Sourced Formal Verification

2016
Abstract : Over the more than three years of the project Verification Games: Crowd-sourced Formal Verification the verification tools developed by the Programming Languages and Software Engineering group were improved. A series of games were developed by the Center for Game Science: Pipe Jam, Traffic Jam, Flow Jam and Paradox.
openaire   +1 more source

Formal verification

Resonance, 2005
openaire   +1 more source

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H Ter Beek
exaly