Formally Verifying Function Scheduling Properties in Serverless Applications

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

January, 2023