Titlebook: Computer Aided Verification; 12th International C E. Allen Emerson,Aravinda Prasad Sistla Conference proceedings 2000 Springer-Verlag Berli

专心

https://doi.org/10.1007/978-1-349-14508-9control structures in the program to be verified. Abstract models may admit erroneous (or “spurious”) counterexamples. We devise new symbolic techniques which analyze such counterexamples and refine the abstract model correspondingly. The refinement algorithm keeps the size of the abstract state spa

伪善

antiquated

嘲笑

parsimony

Systemic Cognition and Educationd processing and memory resources of multi-processor computers can be effectively utilized. The approach assumes a distributed memory model and is applied to both a network of workstations and a symmetric multiprocessor machine. However, certain unexpected phenomena have to be taken into account. We

上腭

物种起源

Excise

conflate

集合