Essays about: "Didrik Lundberg"

Found 3 essays containing the words Didrik Lundberg.

  1. 1. 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

  3. 2. Automated Inference of Excitable Cell Models as Hybrid Automata

    University essay from KTH/Skolan för teknikvetenskap (SCI)

    Author : Rasmus Ansin; Didrik Lundberg; [2013]
    Keywords : ;

    Abstract : In this paper, we explore from an experimental point of view the possibilities and limitations of the new HYCGE learning algorithm for hybrid automata. As an example of a practical application, we study the algorithm’s performance on learning the behaviour of the action potential in excitable cells, specifically the Hodgkin-Huxley model of a squid giant axon, the Luo-Rudy model of a guinea pig ventricular cell, and the Entcheva model of a neonatal rat ventricular cell. READ MORE

  4. 3. Automated Inference of Excitable Cell Models as Hybrid Automata.

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Rasmus Ansin; Didrik Lundberg; [2013]
    Keywords : ;

    Abstract : In this paper, we explore from an experimental point of view the possibilities and limitations of the new HYCGE learning algorithm for hybrid automata. As an example of a practical application, we study the algorithm’s performance on learning the behaviour of the action potential in excitable cells, specifically the Hodgkin-Huxley model of a squid giant axon, the Luo-Rudy model of a guinea pig ventricular cell, and the Entcheva model of a neonatal rat ventricular cell. READ MORE