2409 search results - page 66 / 482 » Logical systems for structured specifications |
122
click to vote
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
126
click to vote
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
141
click to vote
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
114
click to vote
ENTCS
2007
15 years 1 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
103
click to vote
APAL
2006
15 years 1 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...