216 search results - page 36 / 44 » Formal Verification of Safety Properties in Timed Circuits |
137
click to vote
ASIAN
2009
Springer
15 years 23 days ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
FAABS
2000
Springer
15 years 3 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
104
Voted
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
135
click to vote
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
103
click to vote
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...