1992 search results - page 93 / 399 » Model Based Testing with Labelled Transition Systems |
149
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
124
Voted
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
110
Voted
JAIR
2006
15 years 2 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
107
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
112
Voted
ICDM
2007
IEEE
15 years 9 months ago
2007
IEEE
We explore the problem of budgeted machine learning, in which the learning algorithm has free access to the training examples’ labels but has to pay for each attribute that is s...