MultiUbic swMATH ID: 22199 Software Authors: Beggiato, A. Description: Multiubic: Unfolding-based non-iterference model checker for safe Petri nets based on CUNF, works with mutlilevel security domains and can handle both transitive and intransitive security policies. Homepage: https://github.com/AlessandroBeggiato/MultiUbic Source Code: https://github.com/AlessandroBeggiato/MultiUbic Related Software: Anica; PEP Cited in: 1 Publication Cited by 2 Authors 1 Baldan, Paolo 1 Beggiato, Alessandro Cited in 1 Serial 1 Theoretical Computer Science Cited in 1 Field 1 Computer science (68-XX) Citations by Year