Results 231 to 240 of about 3,019,422 (250)

A Survey on Assertion-Based Hardware Verification

ACM Computing Surveys, 2022
Yangdi Lyu, Subodha Charles, Prabhat Mishra   +2 more
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Michael Fisher, Clare Dixon
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  

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  

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