68N30 Mathematical aspects of software engineering

MSC > 68Nxx Software > 68N30 Mathematical aspects of software engineering

Videos linked to 68N30 Mathematical aspects of software engineering

01:24:22

published on February 21, 2022

Probabilistic model checking for strategic equilibria-based decision making: Part 1

By Marta Kwiatkowska

28:47

published on February 14, 2022

Program semantics with token passing

By Koko Muroya

57:56

published on February 4, 2016

Formal verification of numerical analysis programs

By Sylvie Boldo

46:54

published on February 3, 2016

Programming with numerical uncertainties

By Eva Darulova

56:59

published on February 3, 2016

Proof and computation in Coq

By Laurent Théry

01:01:17

published on February 3, 2016

Verified numerics for ODEs in Isabelle/HOL

By Fabian Immler

01:17:33

published on May 19, 2014

Towards a Syntax for Cubical Type Theory 1/2

By Thorsten Altenkirch

59:32

published on May 19, 2014

Towards a Syntax for Cubical Type Theory 2/2

By Thorsten Altenkirch

More +

Copyright Carmin.tv 2024

Give feedback