B-Method

Top Researchers

Antonio Chella

Institution: —

Patrizia Ribino

Institution: —

Mehrnoosh Askarpour

Institution: —

Valeria Seidita

Institution: —

Carmelo Lodato

Institution: —

Massimo Cossentino

Institution: —

Marcello M. Bersani

Institution: —

Ning Ge

Institution: —

Éric Jenn

Institution: —

Arnaud Dieumegard

Institution: —

Correct‐by‐construction specification to verified code

Ning Ge, Arnaud Dieumegard, Éric Jenn, Laurent Voisin

Citations: 9 • 2018

A Notation for Modeling Jason-Like BDI Agents

Massimo Cossentino, Antonio Chella, Carmelo Lodato, Salvatore Lopes, Patrizia Ribino, Valeria Seidita

Citations: 8 • 2012

Teaching Formal Methods: An Experience Report

Mehrnoosh Askarpour, Marcello M. Bersani

Citations: 7 • 2020