A Metric Encoding for Bounded Model Checking

Conference Paper

Publication Date:

2009

Iris type:

04.01 Contributo in Atti di convegno

Keywords:

Bounded model checking,; metric temporal logic

List of contributors:

Pradella, Matteo

Handle:

https://iris.cnr.it/handle/20.500.14243/68663