Publications
Export 3 results:
Author [ Title] Type Year Filters: First Letter Of Title is T and Author is Grigory Fedyukovich [Clear All Filters]
Transition Power Abstractions for Deep Counterexample Detection,
, TACAS, (2022)
Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection,
, Brazilian Symposium on Formal Methods (SBMF), Maceio, Brazil., (2014)
Theory Refinement for Program Verification,
, SAT 2017, Melbourne, Australia, (2017)