Proving Liveness by Backwards Reachability

CONCUR 2006 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/11817949_7 ◽

2006 ◽

pp. 95-109 ◽

Cited By ~ 6

Author(s):

Parosh Aziz Abdulla ◽

Bengt Jonsson ◽

Ahmed Rezine ◽

Mayank Saksena

Keyword(s):

Backwards Reachability

Download Full-text

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71389-0_16 ◽

2007 ◽

pp. 213-227 ◽

Cited By ~ 1

Author(s):

Matthew Hague ◽

C. -H. Luke Ong

Keyword(s):

Higher Order ◽

Reachability Analysis ◽

Backwards Reachability

Download Full-text

HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41010-9_2 ◽

2013 ◽

pp. 17-31

Author(s):

Hallstein Asheim Hansen

Keyword(s):

Embedded Systems ◽

Real Time ◽

Automatic Generation ◽

Reachability Analysis ◽

Safety Critical ◽

Safe Control ◽

Fail Safe ◽

Backwards Reachability

Download Full-text

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

Logical Methods in Computer Science ◽

10.2168/lmcs-4(4:14)2008 ◽

2008 ◽

Vol 4 (4) ◽

Cited By ~ 9

Author(s):

Matthew Hague ◽

Luke Ong

Keyword(s):

Higher Order ◽

Reachability Analysis ◽

Backwards Reachability

Download Full-text