Analyzing Real-Time Event-Driven Programs

DOI10.1007/978-3-642-04368-0_14MaRDI QIDQ3648830zbMATH OpenOpenAlexFDO

Authors Pierre Ganty, Rupak Majumdar

Publication date 1 December 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04368-0_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Quantitative characterization of event streams in analysis of hard real-time applications
• Analyzing real-time systems: Theory and tools
• Analysis of asynchronous programs with event-based synchronization
• Hybrid Systems: Computation and Control

Cites work

• scientific article; zbMATH DE number 2017343 (Why is no real title available?)
• scientific article; zbMATH DE number 2080758 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Analyzing Asynchronous Programs with Preemption
• Hybrid Systems: Computation and Control
• Interprocedural analysis of asynchronous programs
• Model Checking Multithreaded Programs with Asynchronous Atomic Methods
• Verifying liveness for asynchronous programs

Cited in

(6)

• scientific article; zbMATH DE number 7561313 (Why is no real title available?)
• Construction of programs for real-time processing and analysis of measuring information
• Investigating time properties of interrupt-driven programs
• Hybrid Systems: Computation and Control
• The Parikh Property for Weighted Context-Free Grammars
• Verification of asynchronous programs with nested locks

Describes a project that uses

Uses Software

• Giotto

This page was built for publication: Analyzing Real-Time Event-Driven Programs

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