2001 Program
2001 DAILY AGENDA
|
|
|
|
|
|---|---|---|---|
| 0900 - 0915 |
High Confidence Software and Systems |
|
|
| 0915 - 1000 |
Programatica: The Early Years |
Specware |
Keynote Presentation |
| 1000 - 1015 |
Krenz Security Architecture |
High-Assurance Java Virtual Machine |
|
| 1015 - 1030 |
|
||
| 1030 - 1045 |
The Survivable Network Analysis Method: Assessing Survivability of Critical Systems |
||
| 1045 - 1100 |
|
|
|
| 1100 - 1115 |
Common Data Security Architecture (CDSA) Formal Development |
An Approach to Software Vulnerability Analysis (SVA) |
|
| 1115 - 1145 |
Automated Reliability Testing - ART |
||
| 1145 - 1200 |
|
|
|
| 1200 - 1245 |
Tools to Support Enterprise Assurance Arguments |
||
| 1245 - 1300 |
Conference Wrap-up |
||
| 1300 - 1315 |
|
||
| 1315 - 1400 |
Advanced Infosec Machine Model and DSLs |
Pragmatic Approaches with COTS |
|
| 1400 - 1445 |
Cryptol: A Domain-Specific Language for Cryptographic Service Providers |
Java Model Checking |
|
| 1445 - 1500 |
|
|
|
| 1500 - 1545 |
Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? |
Program Verification and the Church-Rosser Theorem |
|
| 1545 - 1630 |
Trusting Software |
A BDD/SAT Solver for Formal Verification Applications |
|
|
1630 - 1700 |
|
|
|
|
1700 |
|
