Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro. Formally Verifying Function Scheduling Properties in Serverless Applications. IT Professional, 25(6):94-99, November - December 2023. [doi]
Abstract is missing.