Proceedings of the ... International Workshop on Formal Methods for Industrial Critical Systems: FMICSAssociation for Computing Machinery, 2005 |
المحتوى
Ten Commandments Revisited A TenYear Perspective on the Industrial | 8 |
The Socket Case | 17 |
A System Development Tool Based on ScadeLustre | 27 |
حقوق النشر | |
12 من الأقسام الأخرى غير ظاهرة
عبارات ومصطلحات مألوفة
abstract actions activation conditions algorithm analysis application approach automatic behavior BISIMULATOR bool boolean checker complex component cuvette defined distributed endif equivalence queries example execution Figure filters finite state machine FlexRay formal methods formal specification formal verification FPGAs function graphs Handel-C hardware IEEE implementation initial input instantiation integration interlocking International invariants LearnLib LNCS logic LTSS LUSTRE program machine membership queries minimal-time trace model checking node notations nout on-the-fly operational semantics output partial order reduction path Paxos algorithm PLD programs probabilistic problem Proc PROMELA proof properties protocol random walk reachable real-time reduction reductor requirements safety scheduler semantics sequence simulation socket Software Engineering space SPARK Ada standard statecharts structure swarm synchronous techniques Technology template temporal theorem tion tool toolset transitions variables VHDL Yes Yes