Search Results for author: César Sánchez

Found 1 papers, 1 papers with code

Temporal Logics for Hyperproperties

1 code implementation17 Jan 2014 Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez

Standard temporal logics such as LTL, CTL, and CTL* can refer only to a single path at a time, hence cannot express many hyperproperties of interest.

Logic in Computer Science

Cannot find the paper you are looking for? You can Submit a new open access paper.