Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: verification-programming

rubenandrebarreiro/game-of-thrones-knowledge-base-representation-checker

⚔️ 🛡️ 🐲 A project based in Knowledge Base Representation and Logic Programming. This project was built using Prolog, with the support of SWISH and SWI-Prolog. The project it's a simple application to allow to make checks, verifications and queries, about some informations and data, of the TV Show Series of Game of Thrones, through a knowledge base representation, built with facts, predicates and rules, among many others!

Language: Prolog - Size: 5.51 MB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 4 - Forks: 1

rubenandrebarreiro/fct-nova-knowledge-base-representation-checker

🎓 👨‍🎓 📚 A project based in Knowledge Base Representation and Logic Programming. This project was built using Prolog, with the support of SWISH and SWI-Prolog. The project it's a simple application to allow to make checks, verifications and queries, about some informations and data, of Faculty of Sciences and Technology of New University of Lisbon, through a knowledge base representation, built with facts, predicates and rules, among many others!

Language: Prolog - Size: 2.48 MB - Last synced: 10 months ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

tzanis-anevlavis/evrostos

Evrostos: The rLTL Verifier

Language: C - Size: 10.8 MB - Last synced: 3 months ago - Pushed: over 2 years ago - Stars: 3 - Forks: 1

rposchinger/Dafny-AVL-Tree

AVL-Tree implemented in Dafny

Language: Dafny - Size: 13.7 KB - Last synced: 9 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

eDatos/verify-endpoints

Set of tools to test, check and verify the endpoints provided by ISTAC.

Language: Python - Size: 33.2 KB - Last synced: over 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

alex-rantos/System-Validation

A system validation model written in Promela

Size: 176 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

Related Keywords
verification-programming 6 data 3 logic 3 verification 2 science 2 rules 2 query-programming 2 prolog 2 programming 2 predicates 2 logic-programming 2 knowledge-representation 2 knowledge-base 2 informatics 2 info 2 facts 2 engineering 2 computer 2 check-programming 2 backtracking-search 2 spin 1 temporal-logic 1 dafny 1 api 1 api-client 1 data-science 1 github-actions 1 open-data 1 python 1 statistics 1 promela 1 promela-channel 1 promela-model 1 system-validation 1 specifications 1 robustness 1 rltl-verifier 1 rltl-specification 1 nusmv 1 ltl 1 hscc 1 formal-verification 1 formal-specification 1 formal-methods 1 cpp 1 c 1 acm 1 fctnova 1 gameofthrones 1