10870 search results - page 140 / 2174 » Model Checking Programs |
ICST
2010
IEEE
15 years 5 days ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
122
click to vote
POPL
1997
ACM
15 years 5 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
134
click to vote
CMSB
2009
Springer
15 years 8 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
144
click to vote
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
114
click to vote
TAMC
2009
Springer
15 years 8 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...