The Ideal View on Rackoff's Coverability Technique

ander Malkis. ​Multithreaded­Cartesian Abstract Interpretation of Multithreaded  Recursive Programs is Polynomial  ● Masaya Shimakawa, Shigeki Hagihara and Naoki Yonezaki. ​Reducing Bounded  Realizability Analysis to Reachability Checking  ● Igor Potapov. ​Insertion­Deletion Systems over Relational Words ​(informal presentation)              

• Type: Journal
• Year: 2015
• Where: RP
• Authors: Ranko Lazic, Sylvain Schmitz
• Keywords: Control Systems, RP 2015