2364 search results - page 256 / 473 » An Engine for Computing Well-Founded Models |
151
Voted
ISORC
2008
IEEE
16 years 16 days ago
2008
IEEE
The concept of a scenario has long been utilized in military procurement as a means of evaluating capability in an operational context. With the advent of initiatives such as the ...
176
click to vote
SEW
2006
IEEE
16 years 5 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
165
Voted
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
165
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
144
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...