| 
|
QuoteRef: holzGJ11_2002
topics >
all references >
ThesaHelp:
references g-h
ThesaHelp:
ACM references f-l
Topic:
bugs
Group:
parallel processing
Topic:
flavor analysis and typestates for supplementary type checking
Group:
goals for a programming system
Topic:
model checker
Topic:
no need for efficiency
Topic:
logic
Topic:
temporal relationships
Topic:
logic programming
Reference
Holzmann, G.J., "The logic of bugs", Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10), Charleston, South Carolina, USA, ACM SIGSOFT, November 2002, Software Engineering Notes, 27, 6, pp. 81-87. Google
82 ;;Quote: the New York Times contains about one mistake per thousand; similar to programmers
83 ;;Quote: difficult to test non-deterministic software because of limited observability and limited controllability
83+;;Quote: use static analysis, symbolic interpretation, reachability, and logic model checking for non-deterministic software; but bugs will still remain
84 ;;Quote: in 30 years, the size of software increased less than 100x while computing power increased 1,000,000x
85 ;;Quote: logic model checking is effective for concurrency-related errors; based on temporal logic as proposed by Pnueli
85 ;;Quote: the TimeLine graphical editor simplifies the specification of basic temporal properties for SPIN model checkers; linear temporal logic is difficult to use
ThesaHelp: references g-h (299 items)
ThesaHelp: ACM references f-l (241 items)
Topic: bugs (65 items)
Group: parallel processing (41 topics, 1116 quotes)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Group: goals for a programming system (21 topics, 971 quotes)
Topic: model checker (49 items)
Topic: no need for efficiency (28 items)
Topic: logic (84 items)
Topic: temporal relationships (40 items)
Topic: logic programming (34 items)