Reasoning about continuous systems

DOI10.1016/0167-6423(90)90017-8MaRDI QIDQ918217zbMATH OpenOpenAlexFDO

Authors K. Mani Chandy

Publication date 1990

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(90)90017-8

zbMATH Keywords

continuous systemsmathematics of program construction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computing with continuous change
• scientific article; zbMATH DE number 1368926
• Computational Logic and Continuous Mathematics, Pure and Applied
• Reasoning continuously: a formal construction of continuous proofs
• scientific article; zbMATH DE number 3850461

Cited in

(2)

• Coupling coefficients of a distributed execution
• Reasoning continuously: a formal construction of continuous proofs

This page was built for publication: Reasoning about continuous systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q918217)