Essays about: "Axiomatic semantics"

Found 2 essays containing the words Axiomatic semantics.

1. 1. Reliable Web Applications Through Contracts and Generative Testing

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Fredrik Hallsmar; [2022]
   Keywords : Web applications; Design by contract; Generative testing; Reliability; Clojure; Webbapplikationer; Kontrakt; Automatisk testning; Pålitlighet; Clojure;

   Abstract : Client-side web applications have recently gone from progressive enhancements to powering large scale Single-page Applications (SPAs). Testing such applications is a tedious effort, often requiring manually constructing tests and emulating the browser, which leads to high programming effort and low performance. READ MORE

3. 2. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

   University essay from KTH/Teoretisk datalogi, TCS

   Author : Didrik Lundberg; [2018]
   Keywords : HOL4; HOL; Higher-order logic; SML; Poly ML; Formal methods; Axiomatic semantics; Formal verification; Static verification; Program verification; Hoare logic; Floyd-Hoare logic; ITP; Interactive theorem prover; Theorem prover; Proof assistant; BIR; Automated theorem proving; ATP; Automated deduction; Computer-assisted proof; Automated reasoning;

   Abstract : Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. READ MORE