Symbolic Model Checking for TLA+ Made Faster
Informazioni aggiuntive
Autori
Sharygina N.,
Otoni R. B.,
Konnov I.,
Kukovec J.,
Eugster P. T.
Tipo
Contributo in atti di convegno
Anno
2023
Lingua
Inglese
Nome convegno
TACAS 2023
Luogo convegno
Paris, France
Data convegno
April 22-27, 2023
