Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Logical Foundations of Cyber-Physical Systems #93

Open
aplatzer opened this issue Apr 8, 2023 · 0 comments
Open

Logical Foundations of Cyber-Physical Systems #93

aplatzer opened this issue Apr 8, 2023 · 0 comments
Labels
Germany

Comments

@aplatzer
Copy link

aplatzer commented Apr 8, 2023 •
edited by jff
Loading

Course code, if applicable:
University hosting the course: Karlsruhe Institute of Technology and Carnegie Mellon University
Contact person: André Platzer, [email protected]
Concepts taught: Automated Reasoning,Axiomatisation,Axiomatic Semantics ,Deductive Software Verification,Deductive Proof,Deductive Verification ,Denotational Semantics,Formal Specification,Hoare Logic,Induction,Interactive Theorem Proving,Logic,Modal Logics ,Proofs,Proof Assistants,Specification,Theorem Proving
Tools used: KeYmaera X
Webpage: https://lfcps.org/course/lfcps.html
Year/Level: 3
Reviewed: 2023/12/23
@jff jff added the Germany label Dec 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Germany
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jff @aplatzer