888 search results - page 11 / 178 » The Power of Temporal Proofs |
TIME
1994
IEEE
15 years 1 months ago
1994
IEEE
ISLPED
1998
ACM
15 years 1 months ago
1998
ACM
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
CAV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
CSL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...