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