120
click to vote
FMICS
15 years 2 months ago
2008 Springer 
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
101
Voted
FMICS
15 years 2 months ago
2008 Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
FMICS
15 years 1 months ago
2008 Springer  107
click to vote
FMICS
15 years 2 months ago
2008 Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
FMICS
15 years 2 months ago
2008 Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
|
Formal Methods