Of course yes, and it's even easier in some cases. Since there's a language that defines the functionality (e.g: formal methods) that the agent can use/veriy against