Focuses on formal verification techniques for web applications using methods like SELTL, hybrid analysis, and specification patterns.
Focuses on formal verification techniques for web applications using methods like SELTL, hybrid analysis, and specification patterns.