Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

FSTTCS
2009
Springer

favoriteEmaildiscussreport

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

13 years 11 months ago

Deductive Verification of Continuous Dynamical Systems

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

Real-time Traffic

FSTTCS 2009 | Theoretical Computer Science |

claim paper

Related Content

» Combining Deduction and Algebraic Constraints for Hybrid System Analysis

» A formalization of an Ordered Logical Framework in Hybrid with applications to continuatio...

» Differential Dynamic Logic for Hybrid Systems

» Differential Dynamic Logics

» Samplingbased Falsification and Verification of Controllers for Continuous Dynamic Systems

» Predicate learning and selective theory deduction for a difference logic solver

» Automatic Verification of Regular Constructions in Dynamic Geometry Systems

» Continuous Verification of Large Embedded Software Using SMTBased Bounded Model Checking

» Computational Methods for Verification of Stochastic Hybrid Systems

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	FSTTCS
Authors	Ankur Taly, Ashish Tiwari

Comments (0)