Results 261 to 270 of about 2,951,513 (284)

A brief account of runtime verification

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

Verification conditions for source-level imperative programs

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

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

IEEE Communications Surveys and Tutorials, 2019
Jiangyuan Yao, Xingang Shi, Zhiliang Wang   +2 more
exaly  

IX.—Verification and Experience

Proceedings of the Aristotelian Society, 1937
openaire   +1 more source

Video-based kinship verification using distance metric learning

Pattern Recognition, 2018
Junlin Hu, Haibin Yan
exaly  

An experience in the formal verification of industrial software

Communications of the ACM, 1996
openaire   +2 more sources

Verification of the findings of acrylamide in heated foods

Food Additives and Contaminants, 2002
L Castle
exaly  

Runtime Verification for LTL and TLTL

ACM Transactions on Software Engineering and Methodology, 2011
Martin Leucker, Andreas Bauer, Christian Schallhart   +2 more
exaly  

Model checking and modular verification

ACM Transactions on Programming Languages and Systems, 1994
Andrew W Appel, Orna Grumberg, David E Long   +2 more
exaly  

Automatic Signature Verification: The State of the Art

IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 2008
Giuseppe Pirlo, Donato Impedovo
exaly