837 search results - page 105 / 168 » Proof Development with OMEGA |
101
click to vote
TCS
2010
14 years 11 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
118
Voted
ICICS
2010
Springer
14 years 10 months ago
2010
Springer
Due to the rapid growth of e-commerce technology, secure auction protocols have attracted much attention among researchers. The main reason for constructing sealed-bid auction prot...
134
Voted
TGC
2010
Springer
14 years 10 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
114
click to vote
IC3
2009
14 years 10 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
89
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
In this paper, we study the equilibrium regulation of potentially unstable linear systems with an unknown input time-delay and unknown parameters in the plant. We extend recent res...