René's URL Explorer Experiment


Title: GitHub - Heizmann/StudentProjects

Open Graph Title: GitHub - Heizmann/StudentProjects

X Title: GitHub - Heizmann/StudentProjects

Description: Contribute to Heizmann/StudentProjects development by creating an account on GitHub.

Open Graph Description: Contribute to Heizmann/StudentProjects development by creating an account on GitHub.

X Description: Contribute to Heizmann/StudentProjects development by creating an account on GitHub.

Opengraph URL: https://github.com/Heizmann/StudentProjects

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:94b1edba-7e57-9d84-bf99-580917b434d6
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idA790:3F004:3E268D7:5037423:6991194A
html-safe-nonce9f79aeae89aceccf8f64b9c0d817e884ca6f5d7717859b036c7c64730ff6ed29
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNzkwOjNGMDA0OjNFMjY4RDc6NTAzNzQyMzo2OTkxMTk0QSIsInZpc2l0b3JfaWQiOiI0MTUyOTMxMzAzMzYzMjU0NjAyIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacc72ba1416987e60e796daf98b0e00650f94be8ae15da437cac94bf5d0fb48c8d
hovercard-subject-tagrepository:699329938
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/Heizmann/StudentProjects
twitter:imagehttps://opengraph.githubassets.com/f920ff303f7741a06ca0c440121f8150eefcc1939506e1bd3b8a58f23fdeffbf/Heizmann/StudentProjects
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/f920ff303f7741a06ca0c440121f8150eefcc1939506e1bd3b8a58f23fdeffbf/Heizmann/StudentProjects
og:image:altContribute to Heizmann/StudentProjects development by creating an account on GitHub.
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None42c603b9d642c4a9065a51770f75e5e27132fef0e858607f5c9cb7e422831a7b
turbo-cache-controlno-preview
go-importgithub.com/Heizmann/StudentProjects git https://github.com/Heizmann/StudentProjects.git
octolytics-dimension-user_id1221834
octolytics-dimension-user_loginHeizmann
octolytics-dimension-repository_id699329938
octolytics-dimension-repository_nwoHeizmann/StudentProjects
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id699329938
octolytics-dimension-repository_network_root_nwoHeizmann/StudentProjects
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release848bc6032dcc93a9a7301dcc3f379a72ba13b96e
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FHeizmann%2FStudentProjects
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FHeizmann%2FStudentProjects
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=Heizmann%2FStudentProjects
Reloadhttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects
Reloadhttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects
Reloadhttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects
Heizmann https://patch-diff.githubusercontent.com/Heizmann
StudentProjectshttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2FHeizmann%2FStudentProjects
Fork 0 https://patch-diff.githubusercontent.com/login?return_to=%2FHeizmann%2FStudentProjects
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2FHeizmann%2FStudentProjects
0 stars https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/stargazers
0 forks https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/forks
Branches https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/branches
Tags https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/tags
Activity https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2FHeizmann%2FStudentProjects
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2FHeizmann%2FStudentProjects
Code https://patch-diff.githubusercontent.com/Heizmann/StudentProjects
Issues 0 https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/issues
Pull requests 0 https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/pulls
Actions https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/actions
Projects 0 https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/projects
Security 0 https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/security
Insights https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/pulse
Code https://patch-diff.githubusercontent.com/Heizmann/StudentProjects
Issues https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/issues
Pull requests https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/pulls
Actions https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/actions
Projects https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/projects
Security https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/security
Insights https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/pulse
Brancheshttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/branches
Tagshttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/tags
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/branches
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/tags
19 Commitshttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/commits/main/
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects/commits/main/
README.mdhttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/blob/main/README.md
README.mdhttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/blob/main/README.md
READMEhttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#ideas-for-projectstheses
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t02-constraint-based-invariant-synthesis
lecture on program verificationhttps://swt.informatik.uni-freiburg.de/teaching/SS2022/program-verification
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t03-quantifier-elimination-for-div-and-mod
https://github.com/ultimate-pa/ultimate/wiki/Finished-Project-Topics#quantifier-elimination-for-div-and-modhttps://github.com/ultimate-pa/ultimate/wiki/Finished-Project-Topics#quantifier-elimination-for-div-and-mod
https://en.wikipedia.org/wiki/Smith_normal_formhttps://en.wikipedia.org/wiki/Smith_normal_form
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t04-the-unihorn-chc-solver
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t05-poor-mans-tree-interpolation-interpolation-wrapper
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t07-faultlocalization
Posterhttp://www2.informatik.uni-freiburg.de/~heizmann/2019TACAS-Christakis,Heizmann,Mansur,Schilling,Wustholz-SemanticFaultLocalizationAndSuspiciousnessRanking.pdf
paperhttps://link.springer.com/chapter/10.1007/978-3-030-17462-0_13
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t11-counterexample-validation-for-boogie
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t12-congruence-closure-for-polypacsimplification
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t14-construction-of-a-control-flow-graph-for-boogie-programs
lecture on program verificationhttps://swt.informatik.uni-freiburg.de/teaching/SS2022/program-verification
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t15-egraphs-for-simplification-and-quantifier-elimination
recent publicationhttps://link.springer.com/chapter/10.1007/978-3-031-37703-7_4
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t16-simplification-of-floyd-hoare-annotations
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t17-bitvector-optimizations
SMT theory of bitvectorshttps://microsoft.github.io/z3guide/docs/theories/Bitvectors
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t18-btor2-translation
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t19-overapproximation-analysis-for-traces
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t21-verification-of-aviation-software
gnat-llvmhttps://github.com/AdaCore/gnat-llvm
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#finished-projects-not-available-any-more-but-we-might-find-related-follow-up-topics
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t06-ultimate-treeautomizer
Ultimate TreeAutomizerhttps://arxiv.org/abs/1907.03998v1
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t09-constant-propagation-program-transformation
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t10-add-support-for-procedures-to-ultimate-referee
Competition on Software Verification SV-COMPhttps://sv-comp.sosy-lab.org/
lecture on program verificationhttps://swt.informatik.uni-freiburg.de/teaching/SS2022/program-verification
https://ultimate.informatik.uni-freiburg.de/?ui=tool&tool=refereehttps://ultimate.informatik.uni-freiburg.de/?ui=tool&tool=referee
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml178.pdfhttps://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml178.pdf
https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#topic-t13-simplification-of-logical-formulas
paperhttps://theory.stanford.edu/~aiken/publications/papers/sas10.pdf
Readme https://patch-diff.githubusercontent.com/Heizmann/StudentProjects#readme-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects
Activityhttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/activity
0 starshttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/stargazers
1 watchinghttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/watchers
0 forkshttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2FHeizmann%2FStudentProjects&report=Heizmann+%28user%29
Releaseshttps://patch-diff.githubusercontent.com/Heizmann/StudentProjects/releases
Packages 0https://patch-diff.githubusercontent.com/users/Heizmann/packages?repo_name=StudentProjects
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.