Sfoglia per Autore
An Automatically Verified Prototype of the Tokeneer ID Station Specification
2020-01-01 Cristiá, Maximiliano; Rossi, Gianfranco
Declarative Programming with Intensional Sets in Java Using JSetL
2020-01-01 Cristiá, Maximiliano; Fois, Andrea; Rossi, Gianfranco
Automated Proof of Bell–LaPadula Security Properties
2020-01-01 Cristia, M.; Rossi, G.
Automated Reasoning with Restricted Intensional Sets
2019-01-01 Cristiá, Maximiliano; Rossi, Gianfranco
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations
2019-01-01 Cristia, M.; Rossi, G.
A set solver for finite relation algebra
2018-01-01 Cristià, Maximiliano; Rossi, Gianfranco
Programming in Java with Restricted Intensional Sets
2018-01-01 Cristia, Maximiliano; Rossi, Gianfranco
Constraint Logic Programming with Polynomial Constraints over Finite Domains
2018-01-01 Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco
Using a set constraint solver for program verification
2017-01-01 Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia
A decision procedure for restricted intensional sets
2017-01-01 Cristià, Maximiliano; Rossi, Gianfranco
A decision procedure for sets, binary relations and partial functions
2016-01-01 Cristiá, Maximiliano; Rossi, Gianfranco
Polynomial constraint solving over finite domains with the modified Bernstein form
2016-01-01 Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco
A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form
2016-01-01 Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco
First steps in integrating {log} into Z/EVES
2015-01-01 Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia
Nondeterministic Programming in Java with JSetL
2015-01-01 Rossi, Gianfranco; Bergenti, Federico
Helping programmers to adopt set-based specifications
2015-01-01 Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia
Adding partial functions to Constraint Logic Programming with sets
2015-01-01 Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia
Programming with Partially Specified Collections
2014-01-01 Rossi, Gianfranco
Rapid Prototyping and Animation of Z Specifications Using {log}
2014-01-01 M., Cristia'; Rossi, Gianfranco
Using {log} as a test case generator for Z specifications
2013-01-01 M., Cristia'; Rossi, Gianfranco
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile