Functional Programming Concurrency Simulation and Automated Reasoning | Kaicus Deutschland