1418 search results - page 187 / 284 » The Dynamic Complexity of Formal Languages |
128
click to vote
QSIC
2009
IEEE
15 years 11 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
154
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
126
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
127
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
128
Voted
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...