1 Introduction

2 Large Language Models

3 Vulnerabilities, Attacks, and Limitations

4 General Verification Framework

5 Falsification and Evaluation

6 Verification

7 Runtime Monitor

8 Regulations and Ethical Use

9 Discussions

10 Conclusions