Loading...
Please wait, while we are loading the content...
Similar Documents
Proving liveness by backwards reachability (2006)
| Content Provider | CiteSeerX |
|---|---|
| Author | Abdulla, Parosh Aziz Jonsson, Bengt Rezine, Ahmed Saksena, Mayank |
| Description | Proc. CONCUR 2006, 17 th Int. Conf. on Concurrency Theory, volume 4137 of Lecture Notes in Computer Science |
| File Format | |
| Language | English |
| Publisher | Springer Verlag |
| Publisher Date | 2006-01-01 |
| Access Restriction | Open |
| Subject Keyword | Certain Commutativity Property Central Technique Transition Relation Backwards Reachability Fair Concurrent Program Liveness Property Regular Model Checking Backwards Reachability Analysis Terminated State Ranking Function Termination Prop-erties Transitive Closure Simpler One Termination Problem Parameterized Algorithm New Method |
| Content Type | Text |
| Resource Type | Article |