1304 search results - page 41 / 261 » Model Checking C Programs Using F-SOFT |
195
click to vote
ICDE
1997
IEEE
16 years 3 months ago
1997
IEEE
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embe...
144
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
119
click to vote
IFIP
2009
Springer
15 years 5 days ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
112
click to vote
RE
2001
Springer
15 years 6 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
127
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...