2514 search results - page 261 / 503 » The use of industrial-strength formal methods |
157
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
154
click to vote
MEMOCODE
2005
IEEE
16 years 5 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
209
click to vote
FMCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
181
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
166
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (G...