Automated Incremental Synthesis of Timed Automata

13 years 8 months ago

Download www.cse.msu.edu

Abstract. In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response

Borzoo Bonakdarpour, Sandeep S. Kulkarni

Real-time Traffic

Automatic Addition | FMICS 2006 | Formal Methods | Response Properties | Response Property |

claim paper

» Automated AssumeGuarantee Reasoning for Simulation Conformance

» OntheFly Controller Synthesis for Discrete and DenseTime Systems

» Synthesis of Trigger Properties

» Formalizing Incremental Design in Realtime Area SCTLMUST

» Incremental exploration of the combined physical and behavioral design space

» Lazy Theorem Proving for Bounded Model Checking over Infinite Domains

» Timingdriven Steiner trees are practically free

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FMICS
Authors	Borzoo Bonakdarpour, Sandeep S. Kulkarni

Comments (0)

Sciweavers

Automated Incremental Synthesis of Timed Automata

Automatic Addition | FMICS 2006 | Formal Methods | Response Properties | Response Property |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers