Browse Code
KF Checker infers information flow rules from source code.
The rules obtained in this way are used to create a theory which it then exploited to prove that information flow policies are respected.
Project Samples
Follow Knowledge Flow Checker
Other Useful Business Software
Sales CRM and Pipeline Management Software | Pipedrive
Pipedrive’s simple interface empowers salespeople to streamline workflows and unite sales tasks in one workspace. Unlock instant sales insights with Pipedrive’s visual sales pipeline and fine-tune your strategy with robust reporting features and a personalized AI Sales Assistant.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Knowledge Flow Checker!