1914 search results - page 172 / 383 » Verification by Abstract Interpretation |
151
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
102
click to vote
FORTE
2008
15 years 2 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
147
Voted
EGCDMAS
2004
15 years 2 months ago
2004
Security policies are abstract descriptions of how a system should behave to be secure. They typically express what is obligatory, permitted, or forbidden in the system. When the s...
106
Voted
AAECC
2010
Springer
15 years 29 days ago
2010
Springer
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
112
click to vote
ENTCS
2008
15 years 27 days ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...