Results 251 to 260 of about 2,951,513 (284)
Some of the next articles are maybe not open access.
Verification experiments on the MASCARA protocol
2001Guoping Jia, Susanne Graf
openaire +1 more source
Verification of a Building Simulator in Real Experiments
2023Karol Jablonski, Dariusz Bismor
openaire +2 more sources
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022Shang-Wei Lin, Palina Tolmach
exaly
Industrial experience with formal verification
Summary: In recent years, Formal Verification has become an increasingly popular method to verify the functional equivalence of different design views. Just recently, designers also start to speak about Model Checking, a methodology that allows to analyze functional properties of a design.openaire +2 more sources
The First Thirty Years: Experience with Software Verification
2008The author started systematic testing in the early seventies, formed LDRA Ltd in 1975, and having stayed in business ever since has acquired considerable experience. The verification tool market is small, mainly embedded systems, and strongly customer driven. Other markets still believe that black-box testing does the job!
openaire +2 more sources
Experiments with speaker verification over the telephone
4th European Conference on Speech Communication and Technology (Eurospeech 1995), 1995Jean-Luc Gauvain, Lori Lamel, B. Prouts
openaire +2 more sources
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Michael Fisher, Clare Dixon
exaly
Deep Reinforcement Learning Verification: A Survey
ACM Computing Surveys, 2023Afsaneh Doryab, Matthew Landers
exaly