Sciweavers

6978 search results - page 152 / 1396
» On Proofs in System P
Sort
View
CADE
2010
Springer
15 years 5 months ago
Verifying Safety Properties with the TLA+ Proof System
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...
LOGCOM
2010
75views more  LOGCOM 2010»
15 years 4 months ago
A Proof System for Abstract Non-interference
Roberto Giacobazzi, Isabella Mastroeni
MFCS
2010
Springer
15 years 4 months ago
Proof Systems and Transformation Games
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
Yoram Bachrach, Michael Zuckerman, Michael Wooldri...
TAMC
2010
Springer
15 years 4 months ago
Different Approaches to Proof Systems
Olaf Beyersdorff, Sebastian Müller
IANDC
2011
59views more  IANDC 2011»
15 years 1 months ago
Proof systems that take advice
Olaf Beyersdorff, Johannes Köbler, Sebastian ...