Results 181 to 190 of about 163,944 (210)
Some of the next articles are maybe not open access.
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 +1 more source
Verification experiments on the MASCARA protocol
2001Guoping Jia, Susanne Graf
openaire +1 more source
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 +1 more source
A Review on Fact Extraction and Verification
ACM Computing Surveys, 2023Giannis Bekoulis, Nikos Deligiannis
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck, , Louise A Dennis
exaly
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
IEEE Communications Surveys and Tutorials, 2019Yahui Li, Xia Yin, Zhiliang Wang
exaly
Forecast verification: current status and future directions
Meteorological Applications, 2008D B Stephenson
exaly
A brief account of runtime verification
The Journal of Logic and Algebraic Programming, 2009Martin Leucker, Christian Schallhart
exaly