Proving Reachability Properties by Coinduction (Extended Abstract)

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00066 ◽

2018 ◽

Author(s):

Dorel Lucanu

Download Full-text