Search Results for author:
Found 2 papers, 0 papers with code
Stateless and Rule-Based Verification For Compliance Checking Applications
Both of deductive and model checking verification techniques are relying on a notion of state and as a result, their underlying computational models are state dependent.
SELM: Software Engineering of Machine Learning Models
In this article, we present a SELM framework for Software Engineering of machine Learning Models.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
