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)