3 papers:
DATE-2009-LettninNBRGKRSR #hardware #verification- Semiformal verification of temporal properties in automotive hardware dependent software (DL, PKN, JB, JR, JG, TK, WR, VS, SR), pp. 1214–1217.
POPL-2008-Danielsson #analysis #complexity #data type #functional #lightweight- Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.
CSEET-1999-Stavely #specification #verification- High-Quality Software through Semiformal Specification and Verification (AMS), pp. 145–155.
