1809 search results - page 163 / 362 » Software Model Checking Using Linear Constraints |
129
Voted
SARA
2009
Springer
15 years 8 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
207
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
117
Voted
CPAIOR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
121
Voted
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
110
Voted
ATS
2003
IEEE
15 years 7 months ago
2003
IEEE
Software-based self-testing is a promising approach for the testing of processor cores which are embedded inside a System-on-a-Chip (SoC), as it can apply test vectors in function...