1472 search results - page 250 / 295 » On Model Checking Infinite-State Systems |
103
click to vote
APSEC
2008
IEEE
15 years 3 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
113
click to vote
USENIX
2001
15 years 3 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
102
click to vote
AI
2005
Springer
15 years 1 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
171
click to vote
DALT
2010
Springer
14 years 8 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
120
click to vote
CAISE
2009
Springer
15 years 8 months ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...