Relating software validation to technology trends
10.1007/s10009-012-0259-5
Saved in:
Main Authors: | Liu, Z., Roychoudhury, A. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Article |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39727 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Towards an effective and interpretable refinement approach for DNN verification
by: LI, Jiaying, et al.
Published: (2023) -
Automatically `Verifying’ discrete-time complex systems through learning, abstraction and refinement
by: WANG, Jingyi, et al.
Published: (2018) -
Deepcause: Verifying neural networks with abstraction refinement
by: NGUYEN HUA GIA PHUC,
Published: (2022) -
Formal modeling and validation of Stateflow diagrams
by: Chen, C., et al.
Published: (2013) -
Parameter synthesis for hierarchical concurrent real-time systems
by: Andre, E., et al.
Published: (2014)