Deductive verification of continuous dynamical systems
type: Item
instance of: scholarly article
zbMATH Open document ID: 1248.68336
author: Ankur Taly
author: Ashish Tiwari
publication date: 2012-10-24T00:00:00Z
full work available at URL: frontdoor ee1b.html
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 37N99
Mathematics Subject Classification ID: 37C10
zbMATH DE Number: 6098243
zbMATH Keywords: deductive verification
zbMATH Keywords: inductive invariants
zbMATH Keywords: continuous and hybrid dynamical systems
zbMATH Keywords: theory of reals
MaRDI profile type: Publication
OpenAlex ID: W1520660718
DOI: 10.4230/LIPICS.FSTTCS.2009.2334
title: Deductive verification of continuous dynamical systems
description: scientific article; zbMATH DE number 6098243