66 citations · 111 across the 15 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Temporal Logics for Hyperproperties
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini +3
Two new logics for verification of hyperproperties are proposed. Hyperproperties characterize security policies, such as noninterference, as a property of sets of computation paths…
cs.LO2014★ 1 cited
Parametrized Invariance for Infinite State Processes
Alejandro Sánchez, César Sánchez
We study the uniform verification problem for infinite state processes, which consists of proving that the parallel composition of an arbitrary number of processes satisfies a temp…