SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS

SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS

Ph.D

Saved in:
Bibliographic Details
Main Author: SONG YAHUI
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2023
Subjects:
Logic,Temporal Verification,Term Rewriting System,Extended Regular Expressions,Hoare-style Forward Verifiers,Cyclic Proof
Online Access:https://scholarbank.nus.edu.sg/handle/10635/242662
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-242662
record_format dspace
spelling sg-nus-scholar.10635-2426622023-06-30T18:01:47Z SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS SONG YAHUI COMPUTER SCIENCE Wei Ngan Chin Logic,Temporal Verification,Term Rewriting System,Extended Regular Expressions,Hoare-style Forward Verifiers,Cyclic Proof Ph.D DOCTOR OF PHILOSOPHY (SOC) 2023-06-30T18:01:47Z 2023-06-30T18:01:47Z 2023-01-30 Thesis SONG YAHUI (2023-01-30). SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/242662 0000-0002-9760-5895 en
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
language English
topic Logic,Temporal Verification,Term Rewriting System,Extended Regular Expressions,Hoare-style Forward Verifiers,Cyclic Proof
spellingShingle Logic,Temporal Verification,Term Rewriting System,Extended Regular Expressions,Hoare-style Forward Verifiers,Cyclic Proof
SONG YAHUI
SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
SONG YAHUI
format Theses and Dissertations
author SONG YAHUI
author_sort SONG YAHUI
title SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS
title_short SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS
title_full SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS
title_fullStr SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS
title_full_unstemmed SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS
title_sort symbolic temporal verification techniques with extended regular expressions
publishDate 2023
url https://scholarbank.nus.edu.sg/handle/10635/242662
_version_ 1770563443449921536

Similar Items