TOPICS
Topics include, but are not limited to)
probabilistic, timing and general quantitative aspects in
LANGUAGE DESIGN
|
PERFORMANCE ANALYSIS
|
LANGUAGE EXTENSION
|
PROGRAM ANALYSIS
|
LANGUAGE EXPRESSIVENESS
|
VERIFICATION
|
HARDWARE DESCRIPTION LANGUAGES
|
ASYNCHRONOUS HARDWARE ANALYSIS
|
LOGIC
|
REFINEMENT
|
SEMANTICS
|
AUTOMATED REASONING
|
COORDINATION MODELS
|
MODEL-CHECKING
|
DISTRIBUTED SYSTEMS
|
SECURITY
|
TIME-CRITICAL SYSTEMS
|
SAFETY
|
EMBEDDED SYSTEMS
|
RISK AND HAZARD ANALYSIS
|
MULTI-TASKING SYSTEMS
|
SCHEDULING THEORY
|
INFORMATION SYSTEMS
|
TESTING
|
|