Results 261 to 270 of about 717,652 (279)
Some of the next articles are maybe not open access.
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
2014We have intensively used proof scores to theorem prove that equational theory specifications of observational transition systems (OTSs) have properties. The paper describes a way to theorem prove that rewrite theory specifications of OTSs have invariant properties by proof score writing.
Kazuhiro Ogata 0001, Kokichi Futatsugi
openaire +1 more source
A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
2018An interpreter for an imperative programming language called Minila has been formally specified in CafeOBJ, an executable specification language, and so have a virtually machine (VM) and a compiler. The compiler transforms a Minila program into an instruction sequence processed by the VM.
Dorian Daudier +2 more
openaire +1 more source
Inter-reader agreement of the PI-QUAL score for prostate MRI quality in the NeuroSAFE PROOF trial
European Radiology, 2021Francesco Giganti +2 more
exaly
An Efficient Privacy-Preserving Credit Score System Based on Noninteractive Zero-Knowledge Proof
IEEE Systems Journal, 2022Chao Lin, Min Luo, Xinyi Huang
exaly
PriScore: Blockchain-Based Self-Tallying Election System Supporting Score Voting
IEEE Transactions on Information Forensics and Security, 2021Yang Yang, Zhangshuang Guan, WanZhiguo
exaly
A Complete Privacy-Preserving Credit Score System Using Blockchain and Zero Knowledge Proof
2021exaly
Comparative judgement, proof summaries and proof comprehension
Educational Studies in Mathematics, 2020Ben Davies, Lara Alcock, Ian Jones
exaly