Model Checking for Object Specifications in Hidden Algebra
No abstract available.
Related papers
- Data Type Specification: Parameterization and the Power of Specification Techniques TOPLAS 1982
- Syntactic soundness proof of a type-and-capability system with hidden state JFP 2013
- Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions SLE 2024
- A Process Algebra for Link Layer Protocols ESOP 2019
- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking VMCAI 2004
- From object algebras to attribute grammars OOPSLA 2014
- Verifying Pufferfish Privacy in Hidden Markov Models VMCAI 2022
- Procedural Implementation of Algebraic Specification TOPLAS 1993