3319 search results - page 114 / 664 » Subshifts, Languages and Logic |
86
Voted
DSS
2007
15 years 19 days ago
2007
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
70
Voted
ICALP
2009
Springer
16 years 28 days ago
2009
Springer
58
Voted
ER
2009
Springer
15 years 7 months ago
2009
Springer
ICSE
2007
IEEE-ACM
16 years 22 days ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
113
Voted
TIME
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...