C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
CoqCryptoLine: A Verified Model Checker with Certified Results.
Ming-Hsien Tsai
Yu-Fu Fu
Jiaxiang Liu
Xiaomu Shi
Bow-Yaw Wang
Bo-Yin Yang
Published in:
CAV (2) (2023)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
description language
temporal logic
test suite
formal specification
symbolic model checking
set theory
ai planning
specification language
web services
test cases
error rate
building blocks
programming language
search algorithm
data structure