Search Constraints
« Previous |
1 - 10 of 45
|
Next »
Search Results
Select an image to start the slideshow
A Framework for Exploring Finite Models
1 of 10
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
2 of 10
User Evaluation Framework for Model Finding Research
3 of 10
Noninterference in Concurrent Game Structures
4 of 10
Formalization and Verification of Rewriting-Based Security Polices
5 of 10
First-Order Models for Configuration Analysis
6 of 10
Analysis of social networks using Facebook
7 of 10
Wall Street Project
8 of 10
Trusted Execution Environments with Architectural Support: Foundations and Implementation
9 of 10
Translating Alloy to SMT-LIB
10 of 10
