Modelling and verification
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B
16
An Event-B based approach for formal modelling and verification of smart contracts
8
Techniques for formal modelling and verification on dynamic memory allocators
186
Formal Modelling and Verification of Security Policies in Cloud Computing
104
Discussion of Mardaljevic's paper: Verification of program accuracy for illuminance modelling: assumptions, methodology and an examination of conflicting findings
28
Constraint modelling and solving of some verification problems
149
Modelling and Formal Verification of Neuronal Archetypes Coupling
20
Verification and validation: establishing confidence in hygrothermal tools
22
Verification and validation: establishing confidence in hygrothermal tools
27
First steps toward a Verification and Validation Ontology
11
Authoring and automatic verification of interactive multimedia scores
24
Formalization and Verification of PLC Timers in Coq
10
MetAcsl: Specification and Verification of High-Level Properties
7
Component-based Verification using Incremental design and Invariants
74
Verification and Symbolic Test Generation for Safety Properties
24
Refinement and Verification of Synchronized Component-based Systems
33
Approximating Context-Free Grammars for Parsing and Verification
223
Formal proofs of code generation and verification tools
5
Convex optimization and machine learning for scalable verification and control
135
Synthesis and verification of constraints in the PGM protocol
21