837 search results - page 105 / 168 » Proof Development with OMEGA |
TCS
2010
13 years 9 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...
ICICS
2010
Springer
13 years 9 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...
TGC
2010
Springer
13 years 9 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 ...
IC3
2009
13 years 8 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...
CDC
2010
IEEE
13 years 6 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...