Michele Chiari

From MaRDI portal
Person:832276

Available identifiers

zbMath Open chiari.micheleMaRDI QIDQ832276

List of research outcomes





PublicationDate of PublicationType
Verification of programs with exceptions through operator precedence automata2023-05-26Paper
https://portal.mardi4nfdi.de/entity/Q51013442022-08-30Paper
Correct approximation of IEEE 754 floating-point arithmetic for program verification2022-07-07Paper
Model-checking structured context-free languages2022-03-25Paper
https://portal.mardi4nfdi.de/entity/Q33848882021-12-17Paper
Operator precedence temporal logic and model checking2020-12-15Paper

Research outcomes over time

This page was built for person: Michele Chiari

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:832276&oldid=6931529"
Powered by MediaWiki