Export Citations
2 Results
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,774,379 records)|Limit your search to The ACM Full-Text Collection (761,092 records)
Showing 1 - 2of2 Results
- ArticleSeptember 2008
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking
ASE '08: Proceedings of the 23rd IEEE/ACM International Conference on Automated Software EngineeringPages 119–127https://doi.org/10.1109/ASE.2008.22In bounded model checking (BMC) a system is modeled with a finite automaton and various desired properties with temporal logic formulae. Property verification is achieved by translation into boolean logic and the application of SAT-solvers. bounded ...