4047 search results - page 455 / 810 » Algebraic Model Checking |
192
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
190
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
381
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
211
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The functional performance model (FPM) of heterogeneous processors has proven to be more realistic than the traditional models because it integrates many important featur...
184
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...