LOFT

MaRDI QIDQ40552swMATHFDO

Authors Julius Michaelis, Cornelius Diekmann

Publication date 21 October 2016

Official website https://www.isa-afp.org/entries/LOFT.html

Cites work

• Graph-Based Algorithms for Boolean Function Manipulation
• Unnamed Publication
• Netkat, semantic foundations for networks
• On the OBDD-representation of general Boolean functions
• Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing

Cited in

(13)

• Verified iptables firewall analysis and verification
• FIREMAN
• Firmato
• NetCore
• Firewall Builder
• Simple Firewall
• IP Addresses
• UPF Firewall
• Iptables Semantics
• ConfigChecker
• Routing
• iptables
• nftables

This page was built for software: LOFT