3624 search results - page 198 / 725 » Abstract Algebraic Logic |
166
click to vote
FORMATS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
187
click to vote
LOPSTR
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
157
click to vote
FSEN
2007
Springer
16 years 16 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
157
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
185
click to vote
FMCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...