Model checking 4 Software Specification 4 Software specifications 3 Alloy 2 Automata theory 2 Automated Legislative Drafting 2 Automatic analysis 2 Automation 2 Behaviour models 2 Computational complexity 2 Computer hardware description languages 2 Computer programming languages 2 DynAlloy 2 Dynamic logic 2 Dynamic programming 2 Formal logic 2 Interface automata 2 Laws and legislation 2 Legal documents 2 Model Checking Regulations 2 Model checker 2 Normative system 2 Probabilistic extension 2 Probabilistic modelling 2 Probability 2 Qualitative information 2 Quantitative information 2 Reliability engineering 2 Semantics 2 Software engineering 2