Ctrl K

Software Projects Organisations Communities News

Ctrl K

.css-1e132ge{font-family:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,'Helvetica Neue',Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-weight:400;font-size:0.875rem;line-height:1.43;background-color:transparent;display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;padding:6px 16px;color:rgb(96, 54, 20);background-color:rgb(253, 243, 234);width:100vw;-webkit-box-pack:center;-ms-flex-pack:center;-webkit-justify-content:center;justify-content:center;margin-top:1rem;z-index:9;}.css-1e132ge .MuiAlert-icon{color:#ed6c02;}.css-1pl9tfm{background-color:#fff;color:rgba(34,36,37,1);-webkit-transition:box-shadow 300ms cubic-bezier(0.4, 0, 0.2, 1) 0ms;transition:box-shadow 300ms cubic-bezier(0.4, 0, 0.2, 1) 0ms;border-radius:2px;box-shadow:var(--Paper-shadow);background-image:var(--Paper-overlay);overflow:auto;font-family:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,'Helvetica Neue',Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-weight:400;font-size:0.875rem;line-height:1.43;background-color:transparent;display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;padding:6px 16px;color:rgb(96, 54, 20);background-color:rgb(253, 243, 234);width:100vw;-webkit-box-pack:center;-ms-flex-pack:center;-webkit-justify-content:center;justify-content:center;margin-top:1rem;z-index:9;}.css-1pl9tfm .MuiAlert-icon{color:#ed6c02;}

Limited functionality: Your browser does not support JavaScript.

Software Highlights

Browse all Highlights

All software

1Filter

Order by

Keywords

Program languages

Licenses

Items

1-6 of 6

[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

Deductive verification
embedded systems
parameterized systems
+ 2

Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

concurrent systems
Deductive verification
formal methods
+ 3

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

Annotation-aware
Deductive verification
GPU
+ 2

Permission-based Verification of Red-Black Trees and Their Merging - Code

Deductive verification
magic wand
producer-consumer pattern
+ 3

Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"

Annotations
Deductive verification
Specifications
+ 1

Specification Translator: Tool to Translate Specifications for Deductive Verifiers

Annotations
Deductive verification
Semantics
+ 3

Other