Skip to content
<title>Channels - Automated Verification of Practical Garbage Collectors :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Automated Verification of Practical Garbage Collectors
Search for more channels:
Similar Items: Automated Verification of Practical Garbage Collectors
Channel Options
View Record
Explore related channels
Quick Look
Multiple Instance Verification
Quick Look
Verification of Flat FIFO Systems
Quick Look
Modularising Verification Of Durable Opacity
Quick Look
Comparator automata in quantitative verification
Quick Look
Quantitative Verification with Neural Networks
Quick Look
Modeling and Verification of Infinite Systems with Resources
Quick Look
Loud: Death by Garbage Truck
Quick Look
Specification and Verification of Timing Properties in Interoperable Medical Systems
Quick Look
A proof system for graph (non)-isomorphism verification
Quick Look
A case study on parametric verification of failure detectors
Quick Look
Prisoners and Debt Collectors
Quick Look
Verification for Timed Automata extended with Unbounded Discrete Data Structures
Quick Look
Compositional Verification for Timed Systems Based on Automatic Invariant Generation
Quick Look
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
Quick Look
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
Quick Look
Automated Synthesis of Tableau Calculi
Quick Look
herbUA Collectors: An open-source framework for online publication of the herbarium collector-centric data
Quick Look
HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs
Quick Look
Simulating reachability using first-order logic with applications to verification of linked data structures
Quick Look
Multiple Instance Verification
Quick Look
Multiple Instance Verification
Quick Look
Multiple Instance Verification
Quick Look
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic
Quick Look
A Procedural Architecture for Agent Trust and Credibility Verification in Distributed Ledger-Based Federated Learning
Load more items
View Record
Prev
Explore related channels
Next
