Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rick Klomp

On Symbolic Verification of Bitcoin’s Script Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Related publications

Verification of Dynamic Memory Allocators Based on Symbolic Program Execution

Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2020English

“Language of Writing” or “Writing as a Language in a Script”

Polylinguality and Transcultural Practices
2018English

Extending DIVINE With Symbolic Verification Using SMT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Security Protocol Verification: Symbolic and Computational Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Cross-Language Semantic Influences in Different Script Bilinguals

Bilingualism
LinguisticsEducationLanguage
2017English

Generation and Verification of Algorithms for Symbolic-Numeric Processing

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1998English

A Note on Bitcoin’s Price Volatility

Jurnal Keuangan dan Perbankan
2019English

Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
1995English

Ghost Code in Action: Automated Verification of a Symbolic Interpreter

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy