Found 7 Documents (Results 1–7)
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. (English) Zbl 1423.68440
A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols. (English) Zbl 1423.68405
Filter Results by …
all
top 5
Author
- Ayala-Rincón, Mauricio (2)
- Arieli, Ofer (1)
- Bonelli, Eduardo (1)
- Caleiro, Carlos (1)
- Casal, Filipe (1)
- Chaudhuri, Kaustuv (1)
- de Carvalho-Segundo, Washington (1)
- de Vrijer, Roel (1)
- Edi, Juan (1)
- Fernández, Maribel (1)
- Lombardi, Carlos (1)
- Mordido, Andreia (1)
- Nigam, Vivek (1)
- Reis, Giselle (1)
- Ríos, Alejandro (1)
- Rocha-Oliveira, Ana Cristina (1)
- Sobrinho, Daniele Nantes (1)
- Strasser, Christian (1)
- Thiemann, René (1)
- Viso, Andrés (1)
all
top 3
Software
- Abella (1)
- Coq (1)
- Equations (1)
- Freshml (1)
- GenPSAT (1)
- Gurobi (1)
- Isabelle/HOL (1)
- Maude-NPA (1)
- Nominal Isabelle (1)
- OSCAR (1)
- cap-typechecking (1)