Formal modeling, verification and validation for Complex and Critical Systems

Description

Testing of large-scale complex critical software, Verification of planning for multi-agent and real time systems, Verification of QOS specifics for SOA applications, Software requirement validation and dependability analysis, Security and reliability validation and enforcement.