Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
2007 | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259 | Rybalchenko2007PADL | |||||
2007 | Transition Predicate Abstraction and Fair Termination In: ACM Transactions on Programming Languages and Systems [29], 30 | PodelskiRybalchenkoTOPLAS2007 | |||||
2005 | Transition predicate abstraction and fair termination In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139 | PodelskiRybalchenkoPOPL2005 |