Publications
Export 28 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)
Space Explanations of Neural Network Classification,
, 37th CAV 2025, (2025)
