StaBL - State Based Language for Specification of Web Applications

Karthika Venkatesan, Sujit Kumar Chakrabarti

Context and motivation: Usage of Formal Specification languages is scarce in web application development as compared to safety critical/hardware systems. Question/problem: An apt f…