Skip to main content

Questions tagged [verification]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
11 votes
4 answers
307 views

Approaches to enforcing contracts for standard user-definable traits

Many languages have some user-definable traits, interfaces or protocols with special status in the language's semantics or standard library, for which there is some kind of "contract" ...
kaya3's user avatar
  • 19.1k
3 votes
2 answers
145 views

Why does the bytecode need to be verified before uploading to a virtual machine?

Some virtual machines needs to verify bytecode before running, like JVM. But, why does the bytecode need to be verified before uploading to a virtual machine?
чистов_n's user avatar
10 votes
1 answer
218 views

How to test a compiler/interpreter?

What are some testing techniques and strategies (in software engineering sense) that are relevant to compilers/interpreters? For example, having a set of complete programs and verifying their runtime ...
Bubbler's user avatar
  • 713
13 votes
2 answers
315 views

What options are there for adding formal verification to a general purpose programming language?

Some languages support design by contract in the language itself. The absolute bare minimum for this is to define: pre-conditions (expects) post-conditions (ensures) & invariants These are ...
Bruce Adams's user avatar
  • 2,843