Search Constraints
Search Results
Select an image to start the slideshow
User Evaluation Framework for Model Finding Research
1 of 8
A Framework for Exploring Finite Models
2 of 8
Multi-Decision Policy and Policy Combinator Specifications
3 of 8
First-Order Models for Configuration Analysis
4 of 8
Noninterference in Concurrent Game Structures
5 of 8
Formalization and Verification of Rewriting-Based Security Polices
6 of 8
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
7 of 8
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
8 of 8