Hot topic: Formal program verification

BCS

doi:10.1093/combul/46.6.32-a

Assertion Recommendation for Formal Program Verification

2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2017.66 ◽

2017 ◽

Cited By ~ 3

Author(s):

Cong Wang ◽

Fei He ◽

Xiaoyu Song ◽

Yu Jiang ◽

Ming Gu ◽

...

Keyword(s):

Program Verification ◽

Formal Program

Download Full-text

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_22 ◽

2008 ◽

pp. 249-262 ◽

Cited By ~ 7

Author(s):

Nurlida Basir ◽

Ewen Denney ◽

Bernd Fischer

Keyword(s):

Program Verification ◽

Formal Program ◽

Safety Case

Download Full-text

Formal Program Verification Using Symbolic Execution

IEEE Transactions on Software Engineering ◽

10.1109/tse.1982.234773 ◽

1982 ◽

Vol SE-8 (1) ◽

pp. 43-52 ◽

Cited By ~ 15

Author(s):

R.B. Dannenberg ◽

G.W. Ernst

Keyword(s):

Program Verification ◽

Symbolic Execution ◽

Formal Program

Download Full-text

Method of Formal Program Verification for Post Machine Virtual Laboratory

Information and Control Systems ◽

10.15217/issn1684-8853.2018.2.104 ◽

2018 ◽

Vol 2 (93) ◽

pp. 104-114

Author(s):

A. V. Lyamin ◽

Keyword(s):

Program Verification ◽

Virtual Laboratory ◽

Formal Program

Download Full-text

Formal Program Verification

Wiley Encyclopedia of Computer Science and Engineering ◽

10.1002/9780470050118.ecse331 ◽

2008 ◽

Cited By ~ 1

Author(s):

Heather K. Harton ◽

Murali Sitaraman ◽

Joan Krone

Keyword(s):

Program Verification ◽

Formal Program

Download Full-text

Formal program verification and computability theory

Proceedings of the 30th annual Southeast regional conference on - ACM-SE 30 ◽

10.1145/503720.503809 ◽

1992 ◽

Author(s):

Paresh B. Shah ◽

James C. Pleasant

Keyword(s):

Program Verification ◽

Computability Theory ◽

Formal Program

Download Full-text

Professional Qualification of German Physicians in Medical Informatics

Methods of Information in Medicine ◽

10.1055/s-0038-1635030 ◽

1994 ◽

Vol 33 (03) ◽

pp. 312-314 ◽

Cited By ~ 2

Author(s):

J. Michaelis

Keyword(s):

Medical Education ◽

Clinical Practice ◽

Federal Republic ◽

Medical Informatics ◽

Professional Training ◽

Federal Republic Of Germany ◽

Professional Qualification ◽

Medical Degree ◽

Formal Program ◽

Medical Domain

Abstract:In addition to the medical education in the Federal Republic of Germany which includes a compulsory Medical Informatics course there exists a formal program for professional qualification of physicians in Medical Informatics. After two years of clinical practice and 1.5 years of professional training at an authorized institution, a physician may receive in addition to the medical degree a “supplement Medical Informatics”. The qualification requirements are described in detail. Physicians with the additional Medical Informatics qualification perform responsible tasks in their medical domain and serve as partners for fully specialized Medical Informatics ex-’ perts in the solution of practical Medical Informatics problems. The formal qualification is available for more than 10 years, has become increasingly attractive, and is expected to grow with respect to future Medical Informatics developments.

Download Full-text