Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Keyphrases

• International Conference 100%
• Italy 100%
• Computer-aided Verification 100%
• Trentino 100%
• Symbolic Model Checking 50%
• System Modeling 50%
• Automata 50%
• Linear Temporal Logic 50%
• Theorem Proving 50%
• Infinite State Space 50%
• Logical Modeling 50%
• Tool Presentation 50%
• Protocol Verification 50%
• State Space Theory 50%
• Protocol Testing 50%
• Verification Protocol 50%
• Flocs 50%
• Processor Verification 50%

Computer Science

• Model Checking 100%
• State Space 100%
• Automaton 100%
• Linear Temporal Logic 100%
• Protocol Verification 100%
• Symbolic System 100%
• Theorem Proving 100%

Engineering

• Symbolics 100%