Bishoksan Kafle

From MaRDI portal
Person:681334

Available identifiers

zbMath Open kafle.bishoksanMaRDI QIDQ681334

List of research outcomes





PublicationDate of PublicationType
Regular path clauses and their application in solving loops2024-12-03Paper
Transformation-Enabled Precondition Inference2023-12-12Paper
https://portal.mardi4nfdi.de/entity/Q50206492022-01-06Paper
https://portal.mardi4nfdi.de/entity/Q50153692021-12-07Paper
https://portal.mardi4nfdi.de/entity/Q49972362021-06-28Paper
An iterative approach to precondition inference using constrained Horn clauses2018-12-04Paper
Tree dimension in verification of constrained Horn clauses2018-05-31Paper
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement2018-01-30Paper
A Benders decomposition approach to deciding modular linear integer arithmetic2017-11-15Paper
Tree Automata-Based Refinement with Application to Horn Clause Verification2015-02-04Paper

Research outcomes over time

This page was built for person: Bishoksan Kafle

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:681334&oldid=7462063"
Powered by MediaWiki