Analyzing Real-Time Event-Driven Programs

DOI10.1007/978-3-642-04368-0_14zbMath1262.68038OpenAlexW1599551061MaRDI QIDQ3648830

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)

Related Items (3)

Unnamed Item ⋮ The Parikh Property for Weighted Context-Free Grammars ⋮ Verification of Asynchronous Programs with Nested Locks

Uses Software

• Giotto

Cites Work

• Analyzing Asynchronous Programs with Preemption
• Interprocedural analysis of asynchronous programs
• Verifying liveness for asynchronous programs
• Hybrid Systems: Computation and Control
• Model Checking Multithreaded Programs with Asynchronous Atomic Methods
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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