1138 search results - page 71 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
114
Voted
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
117
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
136
Voted
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
122
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
129
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Soft-core microprocessors mapped onto field-programmable gate arrays (FPGAs) represent an increasingly common embedded software implementation option. Modern FPGA soft-cores are p...