X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (268) 268
Conference Proceeding (88) 88
Publication (22) 22
Book Chapter (10) 10
Dissertation (4) 4
Book / eBook (1) 1
Magazine Article (1) 1
Reference (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
weakest precondition (90) 90
weakest preconditions (46) 46
weakest-link (43) 43
analysis (40) 40
economics (39) 39
studies (31) 31
materials science, multidisciplinary (28) 28
computer science (25) 25
computer science, software engineering (25) 25
computer science, theory & methods (25) 25
semantics (23) 23
game theory (21) 21
engineering, mechanical (20) 20
public goods (19) 19
software (19) 19
mathematical models (18) 18
program verification (17) 17
verification (16) 16
weakest link (16) 16
failure (15) 15
games (15) 15
economic theory (14) 14
program correctness (14) 14
strength (14) 14
algorithms (13) 13
fatigue (13) 13
public-goods (13) 13
refinement (13) 13
research (13) 13
cooperation (12) 12
mathematical analysis (12) 12
probability (12) 12
economic models (11) 11
formal methods (11) 11
mechanics (11) 11
weakest link model (11) 11
weibull distribution (11) 11
behavior (10) 10
calculus (10) 10
computer science, information systems (10) 10
materials (10) 10
model (10) 10
public good (10) 10
steel (10) 10
symbolic execution (10) 10
artificial intelligence (9) 9
components (9) 9
computer programs (9) 9
engineering (9) 9
fatigue testing machines (9) 9
indexes (9) 9
information (9) 9
models (9) 9
provision (9) 9
reliability (9) 9
rent-seeking (9) 9
software engineering (9) 9
voltage collapse (9) 9
competition (8) 8
computer simulation (8) 8
conflict (8) 8
correctness (8) 8
economics / management science (8) 8
equilibrium (8) 8
formal verification (8) 8
index medicus (8) 8
logic (8) 8
political science (8) 8
power system stability (8) 8
private provision (8) 8
programs (8) 8
stability criteria (8) 8
static analysis (8) 8
theoretical computer science (8) 8
usage (8) 8
weakest bus (8) 8
weakest-link concept (8) 8
cognition (7) 7
coordination (7) 7
data refinement (7) 7
endurance limit (7) 7
experiment (7) 7
experiments (7) 7
fatigue limit (7) 7
fracture mechanics (7) 7
fracture toughness (7) 7
grösseneffekt (7) 7
interprocedural analysis (7) 7
predicate transformers (7) 7
refinement calculus (7) 7
security (7) 7
size (7) 7
size effect (7) 7
statistics (7) 7
stress (7) 7
strongest postcondition (7) 7
bearing steel (6) 6
best-shot (6) 6
computer science, hardware & architecture (6) 6
design (6) 6
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9632, pp. 364 - 389
Conference Proceeding
Ruan Jian Xue Bao/Journal of Software, ISSN 1000-9825, 05/2013, Volume 24, Issue 5, pp. 933 - 941
First, the definition of quantum weakest liberal precondition (termed wlp) wlp (A,B,C)-commutativity is proposed, some necessary, and sufficient conditions of... 
Super-operator | Commutate | Quantum weakest liberal precondition | Quantum predicate | Blocking | Transformers | Software | Computer programs
Journal Article
IEEE Transactions on Software Engineering, ISSN 0098-5589, 09/2016, Volume 42, Issue 9, pp. 866 - 885
Journal Article
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, ISSN 2352-2208, 10/2018, Volume 99, pp. 97 - 113
A major issue in the activity of deductive program verification is to understand why automated provers fail to discharge a proof obligation. To help the user... 
Weakest precondition calculus | Deductive program verification | Counterexamples | COMPUTER SCIENCE, THEORY & METHODS | Satisfiability modulo theories | LOGIC | VERIFICATION | Logic in Computer Science | Software Engineering | Computer Science
Journal Article
Metals, ISSN 2075-4701, 10/2018, Volume 8, Issue 10, p. 811
Specimen geometry and loading condition usually have a great influence on the fatigue strength of metallic materials, which is an important issue in evaluating... 
Titanium alloy | Notch effect | Fatigue strength | Loading condition | Control volume | Size effect | control volume | MATERIALS SCIENCE, MULTIDISCIPLINARY | METALLURGY & METALLURGICAL ENGINEERING | SIZE | RAILWAY AXLES | NOTCH | COMPONENTS | loading condition | LIMIT | size effect | fatigue strength | STEEL | HIGH-CYCLE | titanium alloy | WEAKEST-LINK | DAMAGE CALCULATIONS | notch effect | GIGACYCLE FATIGUE
Journal Article
Science of Computer Programming, ISSN 0167-6423, 09/2014, Volume 89, Issue C, pp. 223 - 234
“Cumulative subgoal fulfillment” (CSF) is a method for the construction of correct algorithms. We show how it formalizes and extends work of Dijkstra, Gries,... 
Invariant | Weakest preconditions | Methodology | Subgoals | Correctness | COMPUTER SCIENCE, SOFTWARE ENGINEERING | INVARIANTS | Algorithms
Journal Article
Jisuanji Xuebao/Chinese Journal of Computers, ISSN 0254-4164, 11/2015, Volume 38, Issue 11, pp. 2203 - 2214
Program multiple paths verification is one of the key methods in the exploring of software properties. Current verifications usually trigger the generation of... 
Symbolic execution | Weakest precondition | Program verification | Static analysis | Control flow graph | Construction | Proximity | Redundant | Graphs | Software | Program verification (computers) | Computer information security | Computer programs
Journal Article
Quantum Information Processing, ISSN 1570-0755, 8/2010, Volume 9, Issue 4, pp. 441 - 449
Generalisation of the quantum weakest precondition result of D’Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as... 
Quantum weakest preconditions | MAPS | PHYSICS, MULTIDISCIPLINARY | PHYSICS, MATHEMATICAL | Computer science | Universities and colleges | Physics - Quantum Physics
Journal Article
Computer Science Review, ISSN 1574-0137, 2011, Volume 5, Issue 3, pp. 252 - 277
This paper is a systematic study of verification conditions and their use in the context of program verification. We take Hoare logic as a starting point and... 
Verification conditions | Weakest preconditions | Updates | Program verification | Hoare logic | Program annotations | Generators | Annotations | Logic | Program verification (computers) | Computer programs
Journal Article
Information Processing Letters, ISSN 0020-0190, 2007, Volume 104, Issue 4, pp. 152 - 158
The notion of quantum weakest precondition was introduced by D'Hondt and P. Panangaden [E. D'Hondt, P. Panangaden, Quantum weakest preconditions, Mathematical... 
Hermitian matrix | Quantum program | Super-operator | Weakest precondition | Formal semantics | weakest precondition | COMPUTER SCIENCE, INFORMATION SYSTEMS | formal semantics | super-operator | quantum program
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2004, Volume 2984, pp. 267 - 280
Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements... 
weakest precondition | COMPUTER SCIENCE, THEORY & METHODS | software testing | postcondition | fault location
Journal Article
Advanced Materials Research, ISSN 1022-6680, 08/2013, Volume 753-755, pp. 2325 - 2328
Array bounds violations are a bane of programming in most languages. Static analysis provides a powerful approach to detect such bugs, but it always suffers... 
Filtering false alarms | Array bounds violations | Weakest precondition | Static analysis
Journal Article
Electronic Communications of the EASST, 2015, Volume 73, Issue 1, pp. 1 - 20
Journal Article
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 10/2011, Volume 13, Issue 5, pp. 405 - 417
Journal Article
The Computer Journal, ISSN 0010-4620, 1/2010, Volume 53, Issue 1, pp. 37 - 49
Model abstraction plays an important role in model checking of source codes of programs. Slicing execution is a lightweight symbolic execution procedure to... 
Partial weakest precondition | Model abstraction | Slicing execution | COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | COMPUTER SCIENCE, INFORMATION SYSTEMS | model abstraction | COMPUTER SCIENCE, THEORY & METHODS | slicing execution | partial weakest precondition
Journal Article
Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, ISSN 1043-6871, 07/2016, Volume 5-08-, pp. 672 - 681
This paper presents a wp--style calculus for obtaining expectations on the outcomes of (mutually) recursive probabilistic programs. We provide several proof... 
expected runtime | probabilisitic programming | program verification | weakest pre--condition calculus | recursion | weakest pre - condition calculus
Conference Proceeding
Fatigue & Fracture of Engineering Materials & Structures, ISSN 8756-758X, 03/2006, Volume 29, Issue 3, pp. 229 - 241
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2010, Volume 5935, pp. 466 - 472
Conference Proceeding
Jisuanji Xuebao/Chinese Journal of Computers, ISSN 0254-4164, 03/2018, Volume 41, Issue 3, pp. 574 - 587
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.