Funder
Japan Society for the Promotion of Science
Subject
Electrical and Electronic Engineering,Artificial Intelligence,Control and Systems Engineering
Reference34 articles.
1. Defining liveness;Alpern;Inform. Process. Lett.,1985
2. Learning regular sets from queries and counterexamples;Angluin;Inform. and Comput.,1987
3. Principles of Model Checking;Baier,2008
4. Software verification of hyperproperties beyond k-safety;Beutner,2022
5. Testing software design modeled by finite-state machines;Chow;IEEE Trans. Softw. Eng.,1978