PLIF PLATFORM: MODELING AND VERIFICATION OF INFORMATION FLOWS IN SOFTWARE DB UNITS USING THE TEMPORAL LOGIC OF ACTIONS TLA+ - PDF (Russian)
Copyright (c) 2025 Russian Academy of Sciences
Copyright (c) 2025 Russian Academy of Sciences
Pay with
User
Subscription
Login to verify subscription
Your IP address: 18.97.9.171
Article Tools
Email this article (Login required)
Email the author (Login required)
Email this article (Login required)
Email the author (Login required)
Keywords
C++
GPU
cloud computing
computer algebra
convolutional neural networks
deep learning
differentiable rendering
formal verification
guided modes
histology
image segmentation
model checking
neural networks
point cloud
ray tracing
real time
rendering
security policy language
smoothly irregular waveguide
symbolic solution of differential equations
symbolic solution of linear equations
×
Pay with
User
Subscription
Login to verify subscription
Your IP address: 18.97.9.171
Article Tools
Email this article (Login required)
Email the author (Login required)
Email this article (Login required)
Email the author (Login required)
Keywords
C++
GPU
cloud computing
computer algebra
convolutional neural networks
deep learning
differentiable rendering
formal verification
guided modes
histology
image segmentation
model checking
neural networks
point cloud
ray tracing
real time
rendering
security policy language
smoothly irregular waveguide
symbolic solution of differential equations
symbolic solution of linear equations
Copyright (c) 2025 Russian Academy of Sciences