×

Found 2 Software Packages (Results 1–2)

HOL-TestGen

Cited in 6 Documents (2007–2018)
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
Related Software: Isabelle/HOL; ETPS; Korat; …
Main Fields: Computer science (68-XX)

UPF Firewall

Cited in 1 Document (2018)
Software Authors: Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Related Software: GitHub; NetKAT; Firmato; …
Main Fields: Computer science (68-XX)

Filter Results by …

Main Field