Results 271 to 280 of about 1,057,123 (303)

VERIFICATION PROGRAM, VERIFICATION METHOD, AND VERIFICATION DEVICE

2021
TAKANO YOSUKE, OGUCHI NAOKI, HIGUCHI JUNICHI   +2 more
openaire   +1 more source

Verification Conditions for Source-Level Imperative Programs

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

A Brief Account of Runtime Verification

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

Verification Techniques for Cache Coherence Protocols

ACM Computing Surveys, 1997
Michel Dubois, Fong Pong
exaly  

A Review on Fact Extraction and Verification

ACM Computing Surveys, 2023
exaly  

Runtime Verification for LTL and TLTL

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

Privacy and Verification

Analysis, 1988
openaire   +1 more source

Forecast Verification: Current Status and Future Directions

Meteorological Applications, 2008
D B Stephenson
exaly  

Formal Verification of Timed Systems: A Survey and Perspective

Proceedings of the IEEE, 2004
Farn Wang
exaly  

Continuous Verification Using Multimodal Biometrics

IEEE Transactions on Pattern Analysis and Machine Intelligence, 2007
Terence Sim, Rajkumar Janakiraman
exaly