Evaluation reports
FR
LSV - Laboratoire spécification et vérification
Type: Research unit evaluation report
Evaluation campaign: 2018-2019 (group E)
- Published on: 27/03/2019
Institution(s) concerned:
Ecole normale supérieure Paris-Saclay
, Centre national de la recherche scientifique - CNRS
, Université Paris-Sud
Disciplinary research field: Science and Technology (ST) ; ST6 Information and Communication Science and Technology
Scientific field(s): 9 - Sciences et technologies de l'information et de la communication
ERC panel(s): PE6 Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Keywords: méthodes formelles ; vérification ; preuves ; sécurité ; langages ; sémantique