There are no reviews yet. Be the first to send feedback to the community and the maintainers!
nesy
Neural-Symbolic Rule-Based Monitoring.delegation2spass
A reducer and translator for a set of complete reduction axioms. Simplifies dynamic formulae for a delegation/revocation logic and converts them into propositional logic expressed in DFG syntax.seq-acl
A decidable theorem prover for the modal access control logic "ACL+". Implements an analytic labeled sequent calculus for access control logic along with an automatic generation of human-readable proofs.acl-lean
A theorem prover for propositional access control logic with "says" operator. Implements Seq-ACL, an analytic labeled sequent calculus for access control logic along with an automatic generation of human-readable proofs. Main implementation in SWI-Prolog with translation to GNU-Prolog and relative C bindings provided.random-attack
Consensus in asynchronous networks with random faults.Love Open Source and this site? Check out how you can help us