The following pages link to AsmL (Q23309):
Displayed 42 items.
- Partial order semantics for use case and task models (Q539426) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Partial updates (Q555785) (← links)
- Lower bounds on lengths of checking sequences (Q613138) (← links)
- The complexity of asynchronous model based testing (Q714798) (← links)
- Formal specification of a web services protocol (Q861299) (← links)
- Can abstract state machines be useful in language theory? (Q880169) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
- Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings (Q948828) (← links)
- Canonical finite state machines for distributed systems (Q1044846) (← links)
- Abstract state machines 2003. Advances in theory and practice. 10th international workshop, ASM 2003, Taormina, Italy, March 3--7, 2003. Proceedings (Q1396941) (← links)
- 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 (Q1422107) (← links)
- Towards proving type safety of \(\mathrm{C}^{\#}\) (Q1749247) (← links)
- Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures. (Q1774485) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Overcoming controllability problems in distributed testing from an input output transition system (Q1938361) (← links)
- Supercharging plant configurations using Z3 (Q2117195) (← links)
- Semantic splitting of conditional belief bases (Q2117582) (← links)
- Checking sequences for distributed test architectures (Q2377256) (← links)
- Automated technology for verification and analysis. Third international symposium, ATVA 2005, Taipei, Taiwan, October 4--7, 2005. Proceedings. (Q2493589) (← links)
- (Q2882982) (← links)
- (Q2979869) (← links)
- Symbolic Bounded Conformance Checking of Model Programs (Q3402292) (← links)
- Play to Test (Q3434603) (← links)
- Controllable Combinatorial Coverage in Grammar-Based Testing (Q3434650) (← links)
- A Verified AsmL Implementation of Belief Revision (Q3535368) (← links)
- A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) (Q3541697) (← links)
- Normalization of Some Extended Abstract State Machines (Q3586002) (← links)
- (Q4408843) (← links)
- (Q4413692) (← links)
- (Q4413694) (← links)
- (Q4413699) (← links)
- (Q4413706) (← links)
- Interactive Algorithms 2005 with Added Appendix (Q4928704) (← links)
- Trustworthy Global Computing (Q5394794) (← links)
- Interactive Small-Step Algorithms I: Axiomatization (Q5453496) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479169) (← links)
- Automated Technology for Verification and Analysis (Q5491852) (← links)
- Automated Technology for Verification and Analysis (Q5491854) (← links)
- On Bounded Reachability of Programs with Set Comprehensions (Q5505562) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901600) (← links)
- Foundations of Information and Knowledge Systems (Q5901857) (← links)