Search results for: Aliaksei Tsitovich
Lecture Notes in Computer Science > Computer Aided Verification > Session 1. Software Model Checking > 89-103
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invariants and Termination > 81-95
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools I > 150-153
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Software Verification > 111-125
Formal Methods in System Design > 2014 > 45 > 1 > 1-41
Formal Methods in System Design > 2013 > 42 > 3 > 221-261