Cited in
(35)- Theory and Applications of Satisfiability Testing
- scientific article; zbMATH DE number 2040574 (Why is no real title available?)
- A taxonomy of exact methods for partial Max-SAT
- A logical approach to data-aware automated sequence generation
- scientific article; zbMATH DE number 1927550 (Why is no real title available?)
- Generating effective symmetry-breaking predicates for search problems
- A static semantics for Alloy and its impact in refactorings
- A domain equation for refinement of partial systems
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- Information Security
- Alloy
- QingTing1
- JACK
- CZT
- TestEra
- TACO
- Gauss
- Jerusat
- ArgoUML
- ProBE
- Generating effective symmetry-breaking predicates for search problems
- Ampersand
- OEuf
- CRN++
- GemStone
- scientific article; zbMATH DE number 1693039 (Why is no real title available?)
- Model-checking view-based partial specifications
- DynAlloy
- Second-Order Principles in Specification Languages for Object-Oriented Programs
- Finding models through graph saturation
- scientific article; zbMATH DE number 1956494 (Why is no real title available?)
- scientific article; zbMATH DE number 1617314 (Why is no real title available?)
- Policy analysis for administrative role-based access control
- Relational and Kleene-Algebraic Methods in Computer Science
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML
This page was built for software: Alcoa