82 skills found · Page 1 of 3
smarty-php / SmartySmarty is a template engine for PHP, facilitating the separation of presentation (HTML/CSS) from application logic.
microsoft / SLAyerSLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
leanprover-community / Iris LeanLean 4 port of Iris, a higher-order concurrent separation logic framework
TyGuS / SuslikSynthesis of Heap-Manipulating Programs from Separation Logic
DistributedComponents / DiselDistributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
utwente-fmt / VercorsThe VerCors verification toolset for verifying parallel and concurrent software
imdea-software / HttHoare Type Theory
nasa / Daidalusopen source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volumes).
tchajed / Iris Simp LangWe define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
verse-lab / SpleanSeparation Logic Proofs in Lean
rems-project / CnCN separation logic refinement type system for C
logsem / ClutchProbabilistic separation logics for verifying higher-order probabilistic programs.
FStarLang / SteelThe Steel separation logic library for F*
logsem / AnerisProgram logic for developing and verifying distributed systems
imdea-software / Fcsl PcmPartial Commutative Monoids
FStarLang / PulseThe Pulse separation logic DSL for F*
nafanesia / Boilerplate Flutter NafanesiaA Flutter project template for building solid applications through separation of concerns between the UI, state management and business logic.
ServiceNow / Devtraining Needit RomeThis repository is used by the developer site training content, Rome release. It is used for the Build the NeedIt App, Scripting in ServiceNow, Application Security, Importing Data, Automating Application Logic, Flow Designer, REST Integrations, Reporting and Analytics, Domain Separation, Mobile Applications, and Context-sensitive Help courses.
nyu-acsys / RavenAn automated deductive program verifier based on concurrent separation logic
ServiceNow / Devtraining Needit QuebecThis repository is used by the developer site training content, Paris release. It is used for the Build the NeedIt App, Scripting in ServiceNow, Application Security, Importing Data, Automating Application Logic, Flow Designer, REST Integrations, Reporting and Analytics, Domain Separation, Mobile Applications, and Context-sensitive Help courses.
