scientific article; zbMATH DE number 2080038

MaRDI QIDQ4472225zbMATH OpenFDO

Authors V. Braberman, Diego Garbervetsky, A. Olivero

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800021.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositional verification for timed systems based on automatic invariant generation
• Computer Aided Verification
• Automating the verification of realtime observers using probes and the modal mu-calculus
• scientific article; zbMATH DE number 1799517
• Improvements for the Symbolic Verification of Timed Automata

Cited in

(5)

• Automating the verification of realtime observers using probes and the modal mu-calculus
• On improving backwards verification of timed automata (extended abstract)
• Compositional verification for timed systems based on automatic invariant generation
• Speeding up model checking of timed-models by combining scenario specialization and live component analysis
• Computer Aided Verification

Describes a project that uses

Uses Software

• Kronos
• Uppaal
• CMC

This page was built for publication:

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