Publications
Export 27 results:
Author Title Type [ Year
] Filters: Author is Grigory Fedyukovich [Clear All Filters]
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction,
, FM 24, 09/2024, (2024)
SolTG: A CHC-based Solidity Test Case Generator,
, Computer Aided Verification, (2024)
