AsmL
From MaRDI portal
Cited in
(56)- Canonical finite state machines for distributed systems
- Reveal
- TulaFale
- Abstract state machines 2003. Advances in theory and practice. 10th international workshop, ASM 2003, Taormina, Italy, March 3--7, 2003. Proceedings
- Formal approaches to software testing. Third international workshop on formal approaches to testing of software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised papers
- LPTP
- Towards proving type safety of \(\mathrm{C}^{\#}\)
- Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures.
- Korat
- Implementation relations and test generation for systems with distributed interfaces
- Overcoming controllability problems in distributed testing from an input output transition system
- SystemC
- Supercharging plant configurations using Z3
- Semantic splitting of conditional belief bases
- NetLogger
- SpecExplorer
- Checking sequences for distributed test architectures
- Automated technology for verification and analysis. Third international symposium, ATVA 2005, Taipei, Taiwan, October 4--7, 2005. Proceedings.
- JViews
- Ontological transition systems structures
- Domain-specific transition systems and their application to a formal definition of a model programming language
- XASM
- OTSL
- Word
- Symbolic bounded conformance checking of model programs
- Play to Test
- Controllable Combinatorial Coverage in Grammar-Based Testing
- A Verified AsmL Implementation of Belief Revision
- A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
- Normalization of Some Extended Abstract State Machines
- AGEDIS
- TGV
- scientific article; zbMATH DE number 1941770 (Why is no real title available?)
- scientific article; zbMATH DE number 1951201 (Why is no real title available?)
- scientific article; zbMATH DE number 1951203 (Why is no real title available?)
- scientific article; zbMATH DE number 1951206 (Why is no real title available?)
- scientific article; zbMATH DE number 1951210 (Why is no real title available?)
- Interactive Algorithms 2005 with Added Appendix
- Partial order semantics for use case and task models
- Trustworthy Global Computing
- Geno
- Interactive Small-Step Algorithms I: Axiomatization
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Automated Technology for Verification and Analysis
- Automated Technology for Verification and Analysis
- On Bounded Reachability of Programs with Set Comprehensions
- Combining test case generation and runtime verification
- Partial updates
- Abstract State Machines 2004. Advances in Theory and Practice
- Foundations of Information and Knowledge Systems
- Lower bounds on lengths of checking sequences
- The complexity of asynchronous model based testing
- Formal specification of a web services protocol
- Can abstract state machines be useful in language theory?
- Towards proving type safety of .NET CIL
- Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings
This page was built for software: AsmL
