What is Splicious

Splicious brings three things to WikiWorld

  • Distribution
  • Search
  • Formal methods

The Splicious architecture is a distributed, peer-to-peer solution using best of breed technologies. One of these technologies is the SpecialK distributed datalog-based key-value database. On the one hand, this is what enables a new kind of search. On the other, it is also a direct implementation of the applied π-calculus. As such it allows the definition of agent-based behaviors that can be reasoned about using automated formal methods, such as the Spatial Logic Model Checker.