bsv-kart A simple toy system for the 2022 exam of the course PA1417 Basic System Verification at BTH. It currently consists of a flask microservice simulating a shopping cart.