2500 search results - page 127 / 500 » Specifying Behavior in C |
162
click to vote
CEEMAS
2001
Springer
15 years 7 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
114
Voted
ASM
2000
ASM
15 years 7 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
132
click to vote
POPL
1992
ACM
15 years 7 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
120
click to vote
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
131
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...