5 papers:
CAV-2015-Tiwari #abstraction- Time-Aware Abstractions in HybridSal (AT), pp. 504–510.
- CAV-2012-Tiwari #relational
- HybridSAL Relational Abstracter (AT), pp. 725–731.
IFM-2009-VossSE #network #scheduling- SAL-Based Symbolic Scheduling in Time-Triggered Networks (SV, MS, KE), pp. 200–214.
SEFM-2006-Rushby06a #automation #formal method #named #tutorial- Tutorial: Automated Formal Methods with PVS, SAL, and Yices (JMR), p. 262.
HT-1991-EubanksY #hypermedia #named- SAL: A Hypermedia System (CE, YY), pp. 427–428.
