×

Found 2 Software Packages (Results 1–2)

HOL-TestGen

Software Authors:   Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong, Burkhart Wolff
Cited in: 6 Publications (2007–2018)
Related Software: Isabelle/HOL; ETPS; Korat; UniTESK; margrave; FIREMAN; …
Main Fields: Computer science (68-XX)

UPF Firewall

Software Authors:   Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Cited in: 1 Publication (2018)
Related Software: GitHub; Autoref; nftables; iptables; pgf; Routing; …
Main Fields: Computer science (68-XX)