449 search results - page 52 / 90 » Model Checking Large Software Specifications |
VISUALIZATION
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...
IWPC
2002
IEEE
14 years 2 months ago
2002
IEEE
Maintenance and evolution of complex software systems (such as large telecom embedded devices) involve activities such as reverse engineering (RE) and software visualization. Alth...
UML
2001
Springer
14 years 2 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
ISSTA
1998
ACM
14 years 1 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
ASPLOS
2011
ACM
13 years 1 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...