Results 291 to 300 of about 828,996 (313)

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

IEEE Communications Surveys and Tutorials, 2019
Yahui Li, Xia Yin, Zhiliang Wang
exaly  

Forecast verification: current status and future directions

Meteorological Applications, 2008
D B Stephenson
exaly  

A brief account of runtime verification

The Journal of Logic and Algebraic Programming, 2009
Martin Leucker, Christian Schallhart
exaly  

Runtime Verification for LTL and TLTL

ACM Transactions on Software Engineering and Methodology, 2011
Andreas Bauer, Martin Leucker
exaly  

Verification

Nursing Management, 2009
openaire   +2 more sources

Verification conditions for source-level imperative programs

Computer Science Review, 2011
Maria João Frade, Jorge Sousa Pinto
exaly  

Privacy and Verification

Analysis, 1988
openaire   +1 more source

Video-based kinship verification using distance metric learning

Pattern Recognition, 2018
Haibin Yan, Junlin Hu
exaly  

Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis

Reliability Engineering and System Safety, 2018
BØRge Rokseth, Íngrid Bouwer Utne, Jan Erik Vinnem   +2 more
exaly  

Verification logic

Journal of Logic and Computation, 2017
Juan Pablo Aguilera Ozuna, David Fernández-Duque   +1 more
openaire   +1 more source