Publications
Export 28 results:
Author [ Title
Filters: Author is Grigory Fedyukovich [Clear All Filters]
Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection,
, Brazilian Symposium on Formal Methods (SBMF), Maceio, Brazil., (2014)
Transition Power Abstractions for Deep Counterexample Detection,
, TACAS, (2022)
Verification-Aided Regression Testing,
, ISSTA, 06/2014, (2014)