|
|
|
|
Constraint Solving for Interpolation |
Authors: Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica | Date of Publication (YYYY-MM-DD): 2010 | Title of Journal: Journal of Symbolic Computation | Volume: 45 | Issue / Number: 11 | Start Page: 1212 | End Page: 1233 | Document Type: Article | ID: 536334.0 |
|
|
|
|
|
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement |
Authors: Podelski, Andreas; Rybalchenko, Andrey | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Practical aspects of declarative languages : 9th International Symposium, PADL 2007 | Start Page: 245 | End Page: 259 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 356707.0 |
|
|
|
|
|
Constraint Solving for Interpolation |
Authors: Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007 | Start Page: 346 | End Page: 362 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 356421.0 |
|
|
|
|
|
Invariant Synthesis for Combined Theories |
Authors: Beyer, Dirk; Henzinger, Thomas; Majumdar, Rupak; Rybalchenko, Andrey | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 | Start Page: 378 | End Page: 394 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 356708.0 |
|
|
|
|
|
Path Invariants |
Authors: Beyer, Dirk; Henzinger, Thomas; Majumdar, Rupak; Rybalchenko, Andrey | Place of Publication: New York, NY, USA | Publisher: ACM | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: PLDI'07 : Proceedings of the 2007 Conference on Programming Language Design and Implementation | Start Page: 300 | End Page: 309 | Document Type: Conference-Paper | ID: 356629.0 |
|
|
|
|
|
Precise Thread-Modular Verification |
Authors: Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Static Analysis : 14th International Symposium, SAS 2007 | Start Page: 218 | End Page: 232 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 356625.0 |
|
|
|
|
|
Proving that programs eventually do something good |
Authors: Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe | Place of Publication: New York, USA | Publisher: ACM | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Conference Record of POPL® 2007 : The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | Start Page: 265 | End Page: 276 | Document Type: Conference-Paper | ID: 356677.0 |
|
|
|
|
|
Proving Thread Termination |
Authors: Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey | Place of Publication: New York, NY, USA | Publisher: ACM | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: PLDI'07 : Proceedings of the 2007 Conference on Programming Language Design and Implementation | Start Page: 320 | End Page: 330 | Document Type: Conference-Paper | ID: 356640.0 |
|
|
|
|
|
Transition Predicate Abstraction and Fair Termination |
Authors: Podelski, Andreas; Rybalchenko, Andrey | Date of Publication (YYYY-MM-DD): 2007 | Title of Journal: ACM Transactions on Programming Languages and Systems | Volume: 29 | Issue / Number: 3 | Start Page: 15.1 | End Page: 15.31 | Document Type: Article | ID: 356627.0 |
|
|
The scope and number of records on eDoc is subject
to the collection policies defined by each institute
- see "info" button in the collection browse view.
|
|