Alcoa
From MaRDI portal
Software:21463
swMATH9481MaRDI QIDQ21463FDOQ21463
Author name not available (Why is that?)
Cited In (20)
- Second-Order Principles in Specification Languages for Object-Oriented Programs
- A Logical Approach to Data-Aware Automated Sequence Generation
- A taxonomy of exact methods for partial Max-SAT
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relational and Kleene-Algebraic Methods in Computer Science
- Title not available (Why is that?)
- A domain equation for refinement of partial systems
- Title not available (Why is that?)
- Theory and Applications of Satisfiability Testing
- A static semantics for Alloy and its impact in refactorings
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- Title not available (Why is that?)
- Generating effective symmetry-breaking predicates for search problems
- Information Security
- Policy analysis for administrative role-based access control
- Model-Checking View-Based Partial Specifications
- Finding models through graph saturation
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML
- Generating effective symmetry-breaking predicates for search problems
This page was built for software: Alcoa
